Attempting an #Idris hello world proof, but it seems to want me to prove plus' associativity. Pointers? https://gist.github.com/ctford/9292432 @edwinbrady
-
-
@edwinbrady Thanks for the help. I read the manual, but as someone with a Haskell background (not Coq/Agda), I don't grok the lemma syntax.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.