45156a8Add some documentation comments.Sventimir8 years ago 7761b7aAdd access clause.Sventimir8 years ago bcce759Prove that multiplication of inverses is the same os multiplication of original elements.Sventimir8 years ago af6a4caProve that multiplication by a negative makes the result also negative.Sventimir8 years ago 26c4d0eProve some most basic laws of abstract algebra:Sventimir8 years ago c0da8e7better explanation of replace and rewriteMartin Baker8 years ago b07cac6Merge pull request #4670 from melted/binary_winNiklas Larsson8 years ago 56c2058Make binary files the default when opening.Niklas Larsson8 years ago 5188ef3Merge pull request #4665 from OlingCat/patch-1Niklas Larsson8 years ago b56ef01Merge pull request #4667 from melted/fix_appveyorNiklas Larsson8 years ago 609f712Fix appveyorNiklas Larsson8 years ago a479616Fix a typoOling Cat8 years ago 29f80c3remove redundant sentenceMartin Baker8 years ago afd5c9aMerge pull request #4660 from rbarreiro/issue_4656Niklas Larsson8 years ago f59d33dMerge pull request #4659 from jinbijin/masterNiklas Larsson8 years ago 0365becMerge pull request #4654 from locallycompact/masterNiklas Larsson8 years ago 5268db5Merge pull request #4652 from justjoheinz/patch-5Niklas Larsson8 years ago 760c8ceMerge pull request #4638 from cypheon/socket-constants-fixNiklas Larsson8 years ago a6a51cdMerge pull request #4636 from alaendle/feature/identity-monoidNiklas Larsson8 years ago 22f69e8Merge pull request #4649 from zenntenn/makingtotalNiklas Larsson8 years ago 83d3acfMerge pull request #4645 from clayrat/patch-14Niklas Larsson8 years ago 8882622fix #4656Rui Barreiro8 years ago f9f05c9Initialise error while opening a directory.jinbijin8 years ago c9ace4eadd a page about propositional proofsMartin Baker8 years ago 80636c0add to proof documentationMartin Baker8 years ago 1a8c1a6remove html tagsMartin Baker8 years ago 7a39435add some documentationMartin Baker8 years ago 1979e3dadd some documentationMartin Baker8 years ago 120e37dMerge pull request #4633 from tuncer/patch-1Jan de Muijnck-Hughes8 years ago 7e876eastack.yaml: switch to lts-13.0 (ghc 8.6.3)tuncer8 years ago 662b64eAdd takeUpto and dropUpto functions to Data.VectDaniel Firth8 years ago 007d43eMerge pull request #4648 from beardhatcode/fix/doc-wrong-doi-linkNiklas Larsson8 years ago e51954fFix sample codeMarkus Klink8 years ago d27b255These are both called by Core.Core in Blodwen, which I also want to make %default totalzenntenn8 years ago a33905eMerge pull request #1 from idris-lang/masterzenntenn8 years ago abb6a78Fix badly formatted DOI linkRobbert Gurdeep Singh8 years ago c060a88Merge pull request #4644 from zenntenn/patch-1Jan de Muijnck-Hughes8 years ago 408118aMerge pull request #4646 from dwillmer/minor_typosJan de Muijnck-Hughes8 years ago 0c59250Function typoDave Willmer8 years ago 2970410add runWriter helperAlex Gryzlov8 years ago bfaf579Correcting typo in documentationzenntenn8 years ago 106f6b2Merge pull request #4640 from chexxor/patch-1Niklas Larsson8 years ago cfb0cd7Merge pull request #4639 from jacereda/megaparsec7Niklas Larsson8 years ago 2ad85f5Fix link to Freenode webchat.Alex Berg8 years ago 18c98cbPosition is no longer reported twiceJorge Acereda8 years ago 4a8b9c2Relax Cabal and zip-archive boundsJorge Acereda8 years ago 0b669c7Merge branch 'master' of https://github.com/jmorag/Idris-dev into megaparsec7Jorge Acereda8 years ago fbf3b54Replace hardcoded constants from <sys/socket.h> with FFI referencesJohann Rudloff8 years ago 82238dcMake Identity an instance of Semigroup/Monoid (for Semigroup/Monoid types).Andreas Ländle8 years ago f445c51Count inlinable defs when building module hashEdwin Brady8 years ago