git.iko.soy/Idris-dev
on dccbc43 help sign in
Idris-dev/src
2 folders, 1 file
../ Core/Generate bytecode so that files don't need to be rechecked every time they're loaded Idris/Generate bytecode so that files don't need to be rechecked every time they're loaded Main.hsAdded universe constraint checker and --typeintype command line option