git.iko.soy/Idris-dev
on d66da21 help sign in
history ofsrc/Core/Constraints.hs
all commits
3c32b65Whitespace cleanup.George Leontiev 57c8657Added column name to sourceAhmad Salim Al-Sibahi 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