@edwinbrady Idris looks impressive. One question though: how do you approach the problem of Int overflowing?
@andreasdotorg This has something to say, but I haven't de-bitrotted the code for the latest version yet: http://www.cs.st-andrews.ac.uk/~eb/writings/plpv11.pdf …
-
-
@edwinbrady Thanks, will study documentation and examples. I'm coming from http://www.itu.dk/~hame/ilc07-final.pdf … https://www.youtube.com/watch?v=JfSbZXgypis … https://github.com/andreas23/pdfparser …Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady Chapter 3 just blew my mind. Awesome!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.