So today some people found an Agda tutorial I tried writing 4 years ago, and decided to post it to Reddit and… https://plus.google.com/110988559818762092753/posts/Mp5NZ9xGUkg …
@kamatsu8 I’m glad you did it though! We really need more material like this. Annoying that people want to nitpick rather than contribute.
-
-
@edwinbrady Thanks for the support! I've been following Idris with some interest. But linear types makes it competition to my PhD project :PThanks. 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.