impl-paper/Added some serialisation15 years ago lib/File handling in prelude15 years ago samples/Don't write .ibc on error; add new test15 years ago src/Add --help and --version options15 years ago test/File handling in prelude15 years ago tutorial/Add some string primitives (may need latest Epic)15 years ago LICENSEFix LICENSE15 years ago MakefileGenerate bytecode so that files don't need to be rechecked every time they're loaded15 years ago READMEUpdate .cabal and README15 years ago Setup.hsGet cabal to check library after install15 years ago idris.cabalGet cabal to check library after install15 years ago