on 02ef050 help sign in
Idris-dev
7 folders, 7 files
contribs/A few changes: impl-paper/Set up .bib lib/Ported the majority of the list API to the vector data type. samples/Idiom brackets and dsl notation in tutorial src/Check that methods are part of a class when defining instances test/More on errors; propagate line numbers tutorial/%obj should be %link in tutorial .gitignoreNew .gitignore for Cabal's directory and .ibc files. CHANGELOGChase type classes for longer LICENSEFix LICENSE MakefileUnreachable case warning READMEUpdate .cabal and README Setup.hsUpdate to Setup,hs (via Dirk Ullrich) idris.cabalFix let overloading bug with do blocks