impl-paper/Added some serialisation15 years ago lib/Added prelude.strings, made believe_me primitive15 years ago samples/Correct test00415 years ago src/Added prelude.strings, made believe_me primitive15 years ago test/Correct test00415 years ago tutorial/More string and char primitives15 years ago LICENSEFix LICENSE15 years ago MakefileCorrect test00415 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