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.
Me too. I'd like to try a new core along these lines, if I can find some time or clone myself or something...
-
-
i.e., I want [_] : {I : Set}(X : I -> Set) -> Set [ X ] = forall {i} -> X i in Idris I have to write a normal func and then define syntax.
-
Like, I'm glad that I can do it at all, but it doesn't *need* to take two steps.
- 1 more reply
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.