git.iko.soy
/
elk
readme
files
commits
refs
on
f63020a
help
sign in
elk
/
src
/
Type
1 folder, 7 files
../
Constrain/
Primarily rename *Pattern and *Decl to just * in a ton of places
11 years ago
Environment.hs
Add support for "effect types" that track which effects are needed
11 years ago
Fragment.hs
Show proper errors for infinite types again
11 years ago
Inference.hs
Parse more liberally, give errors in validation phase for better messages
11 years ago
Solve.hs
Add support for "effect types" that track which effects are needed
11 years ago
State.hs
Add support for "effect types" that track which effects are needed
11 years ago
Type.hs
Add support for "effect types" that track which effects are needed
11 years ago
Unify.hs
Add support for "effect types" that track which effects are needed
11 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