git.iko.soy/Idris-dev
on dccbc43 help sign in
Idris-dev
5 folders, 4 files
impl-paper/Added some serialisation lib/Generate bytecode so that files don't need to be rechecked every time they're loaded samples/Fiddle with elaborator; update interp sample and test src/Generate bytecode so that files don't need to be rechecked every time they're loaded test/Generate bytecode so that files don't need to be rechecked every time they're loaded LICENSEFix LICENSE MakefileGenerate bytecode so that files don't need to be rechecked every time they're loaded READMEUpdate .cabal and README idris.cabalGenerate bytecode so that files don't need to be rechecked every time they're loaded