Attempting an #Idris hello world proof, but it seems to want me to prove plus' associativity. Pointers? https://gist.github.com/ctford/9292432 @edwinbrady
@ctford Section 8 of the tutorial may explain some of what's going on http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf …
-
-
@edwinbrady Lightning response. Thanks! -
@ctford I've annotated it with an answer below some spoiler space :) - 1 more reply
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.