git.iko.soy/Idris-dev
on d9c3c21 help sign in
history ofsrc/Core/Constraints.hs
all commits
22c355aDocumentation comment additionsDavid Christiansen e2809b6Fix non-termination error in universe checkerEdwin Brady fd5cddbMore platform agnostic nowChetan T a7adbdbFix cyclic universe checking bugEdwin Brady 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