git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
fb3160e
help
sign in
history of
src/Core/Constraints.hs
all commits
dccbc43
Generate bytecode so that files don't need to be rechecked every time they're loaded
Edwin Brady
15 years ago
3b5e50c
Added universe constraint checker and --typeintype command line option
Edwin Brady
15 years ago
536112d
Added Constraints.hs for universe constrain solving (but don't expect it to work yet...)
Edwin Brady
15 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list