I really appreciate that @edwinbrady puts effort in to make his papers easy to understand even if you don't know Idris well
-
-
Reading the state machines paper now, I guess my only comment would be that states seems like magic, but I'm only a few pages in
-
My goal was to explain how to use it to build apps here - more detail on internals would certainly help to demystify the magic.
- 1 more reply
New conversation -
-
-
did you receive DM?
-
Not recently… unless I missed something?
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.