My new plan for teaching FP: Start with Agda so they will be slightly sad about Idris and then after Idris they will be sad about Haskell.
-
-
Extensible syntax a la Racket is much more fun than extensible syntax a la Idris
-
I'll take mixfix if it's on offer, please. ;)
- 7 more replies
New conversation -
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.