on a12ecc2 help sign in
Idris-dev
7 folders, 7 files
contribs/A few changes: impl-paper/Missing .tex files lib/Added mconcat for concatenating over an arbitrary monoid (replace concat on lists with the generalized version later?) samples/Idiom brackets and dsl notation in tutorial src/Fix parser bug: whitespace now allowed at the top of modules 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