on ac05da7 help sign in
Idris-dev
7 folders, 7 files
contribs/A few changes: impl-paper/Missing .tex files lib/Added Semigroup and Monoid instances (non-verified) to list module. samples/Idiom brackets and dsl notation in tutorial src/Parse rule for big integers is broken test/More on errors; propagate line numbers tutorial/%obj should be %link in tutorial .gitignoreNew .gitignore for Cabal's directory and .ibc files. CHANGELOGParse rule for big integers is broken LICENSEFix LICENSE MakefileUnreachable case warning READMEUpdate .cabal and README Setup.hsRewrite cabal config to be distribution friendly. idris.cabalFix let overloading bug with do blocks