git.iko.soy/Idris-dev
on master help sign in
history ofb56ef01..master
compare
45156a8Add some documentation comments.Sventimir 7761b7aAdd access clause.Sventimir bcce759Prove that multiplication of inverses is the same os multiplication of original elements.Sventimir af6a4caProve that multiplication by a negative makes the result also negative.Sventimir 26c4d0eProve some most basic laws of abstract algebra:Sventimir c0da8e7better explanation of replace and rewriteMartin Baker b07cac6Merge pull request #4670 from melted/binary_winNiklas Larsson 56c2058Make binary files the default when opening.Niklas Larsson 5188ef3Merge pull request #4665 from OlingCat/patch-1Niklas Larsson a479616Fix a typoOling Cat 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