@bascule @larrytheliquid I can read a lot of that. Totally worth the time and effort I put into learning Agda.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule from a PL perspective its actually tame, approachable, and well done. like anything there are idioms that look complicated at firstThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule There's code I can't read, and there's code that Android Chrome can't even render. :(@larrytheliquidThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bascule@larrytheliquid You got APL in my Haskell! You got Haskell in my APL!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.