git.iko.soy/Idris-dev
on 593cade help sign in
593cadeFix the "looks like S" check.Matus Tejiscak 11d54e7Add --generalised-nat-hack.Matus Tejiscak f0f566fFix unary apps + ordering of case trees.Matus Tejiscak 6ef51e3Add forgotten default clause.Matus Tejiscak e1afa90Add error message.Matus Tejiscak 5e2000eHook case trees, too.Matus Tejiscak 137d2aeCheck recursivity of S.Matus Tejiscak e16f741Extend the Nat hack for Nat-like families.Matus Tejiscak aee9c52Merge pull request #4684 from ivanperez-keera/masterNiklas Larsson 7c7a17aFixes error in type definition for So.Ivan Perez 268db5dMerge pull request #4677 from bor0/patch-1Niklas Larsson 9d03084Merge pull request #4658 from martinbaker/mydocNiklas Larsson a5f4d7dMerge pull request #4675 from Sventimir/algebra-proofsNiklas Larsson 23e14feMerge pull request #4674 from mokshasoft/sel4-cmakeNiklas Larsson 4418684Update Runtime-node.jsBoro Sitnikovski 5d29252Eliminate redundant lets.Sventimir 04abcaememcpy neede by idris_rts.h even without pthread enabledJonas Claeson f95d230Update the seL4 build to use CMake instead of KbuildJonas Claeson 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 b56ef01Merge pull request #4667 from melted/fix_appveyorNiklas Larsson 609f712Fix appveyorNiklas Larsson a479616Fix a typoOling Cat 29f80c3remove redundant sentenceMartin Baker afd5c9aMerge pull request #4660 from rbarreiro/issue_4656Niklas Larsson f59d33dMerge pull request #4659 from jinbijin/masterNiklas Larsson 0365becMerge pull request #4654 from locallycompact/masterNiklas Larsson 5268db5Merge pull request #4652 from justjoheinz/patch-5Niklas Larsson 760c8ceMerge pull request #4638 from cypheon/socket-constants-fixNiklas Larsson a6a51cdMerge pull request #4636 from alaendle/feature/identity-monoidNiklas Larsson 22f69e8Merge pull request #4649 from zenntenn/makingtotalNiklas Larsson 83d3acfMerge pull request #4645 from clayrat/patch-14Niklas Larsson 8882622fix #4656Rui Barreiro f9f05c9Initialise error while opening a directory.jinbijin c9ace4eadd a page about propositional proofsMartin Baker 80636c0add to proof documentationMartin Baker 1a8c1a6remove html tagsMartin Baker 7a39435add some documentationMartin Baker 1979e3dadd some documentationMartin Baker 120e37dMerge pull request #4633 from tuncer/patch-1Jan de Muijnck-Hughes 7e876eastack.yaml: switch to lts-13.0 (ghc 8.6.3)tuncer 662b64eAdd takeUpto and dropUpto functions to Data.VectDaniel Firth 007d43eMerge pull request #4648 from beardhatcode/fix/doc-wrong-doi-linkNiklas Larsson