impl-paper/Added some serialisation15 years ago lib/Some file handling15 years ago samples/Don't write .ibc on error; add new test15 years ago src/Some file handling15 years ago test/Some file handling15 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 idris.cabalAdded support for literate programming with bird tracks (use .lidr extension)15 years ago