ooh I’m interested! I tried to get recursion schemes working and they typechecked but I couldn’t get anything to execute. https://github.com/vmchale/basic-recursion …
-
-
-
Oh, what went wrong? I'm slightly scared to ask because I have enough stuff in the queue that I don't want to get nerd sniped quite yet, but still it's nice to see people having a go!
- 1 more reply
New conversation -
-
-
Where is here?
-
I'm in Potsdam for a fortnight visiting the (to my knowledge) world's most productive Idris hacker :)
End of conversation
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.