Any function with type (List a -> List a) returns a list containing only elements in the input list. … QED
-
@dibblego ... or⊥, btw do you know http://www-ps.iai.uni-bonn.de/cgi-bin/free-theorems-webui.cgi … ?
@plancalculus I did not thanks!
We can exclude ⊥.
http://www.cse.chalmers.se/~nad/publications/danielsson-et-al-popl2006.html …
-
-
@dibblego I meant to read that paper for quite some time, thanks for the pointer.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.