Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

lol R

Name: Anonymous 2013-03-10 19:10

> f <- function(g) {

+   x <- g(1);

+   return(2);

+ };

[b][/b]> f(return)

[1] 1

Name: Anonymous 2013-03-11 2:36

>>5
http://coq.inria.fr/
Write it in Coq.

Newer Posts