git.iko.soy/Idris-dev
on 01dc619 help sign in
history ofsrc/Core/Constraints.hs
all commits
ab039f2Fix universe checking bugEdwin Brady dccbc43Generate bytecode so that files don't need to be rechecked every time they're loadedEdwin Brady 3b5e50cAdded universe constraint checker and --typeintype command line optionEdwin Brady 536112dAdded Constraints.hs for universe constrain solving (but don't expect it to work yet...)Edwin Brady