I really appreciate that @edwinbrady puts effort in to make his papers easy to understand even if you don't know Idris well
My goal was to explain how to use it to build apps here - more detail on internals would certainly help to demystify the magic.
-
-
it's pretty darn cool. I feel like I could pick this up and use it right away, even with little experience.
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.