The Idris manual just mentioned explains, among others, several proof tactics. (One thing I had a hard time to find before.)
@zerology "Explain" is a strong word for it :). I'd really like to have a tutorial on tactics, but never found a time to write it.
-
-
@edwinbrady :-) Well, I mean the best explanation I found. A good start.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.