on 02003d7 help sign in
Idris-dev
7 folders, 7 files
contribs/A few changes: impl-paper/Missing .tex files lib/Added malloc and trace_malloc *** This will need the latest EpiVM *** samples/Added malloc and trace_malloc *** This will need the latest EpiVM *** src/Added malloc and trace_malloc *** This will need the latest EpiVM *** test/More on errors; propagate line numbers tutorial/Tutorial updates .gitignoreNew .gitignore for Cabal's directory and .ibc files. CHANGELOGAdded backtick notation: e.g. x xs LICENSEFix LICENSE MakefileUnreachable case warning READMEUpdate .cabal and README Setup.hsRewrite cabal config to be distribution friendly. idris.cabalAdded prim__bigIntToInt (needs latest EpiVM)