git.iko.soy/Idris-dev
on master help sign in
history ofbcce759..master
compare
45156a8Add some documentation comments.Sventimir 7761b7aAdd access clause.Sventimir c0da8e7better explanation of replace and rewriteMartin Baker 29f80c3remove redundant sentenceMartin Baker c9ace4eadd a page about propositional proofsMartin Baker 80636c0add to proof documentationMartin Baker 1a8c1a6remove html tagsMartin Baker 7a39435add some documentationMartin Baker 1979e3dadd some documentationMartin Baker