Is this the successor to Eff? You should call it "USA" aka "United States of Apps" ;)
-
-
-
I wanted to call it “Turtles” but decided that was too silly
- 3 more replies
New conversation -
-
-
“Other than the absence of Put and (>>=) […]” (p. 6) should be “Pure and (>>=)”
-
Ah yes, thanks!
- 3 more replies
New conversation -
-
-
Awesome paper! I could roughly follow it despite not knowing Idris. This states stuff makes me want to learn it :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
this looks very much like something I planned to do! So glad I won't have to, now :-D
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.