git.iko.soy
/
elk
readme
files
commits
refs
on
88fce69
help
sign in
elk
/
compiler
/
Type
1 folder, 10 files
../
Constrain/
just some more work fleshing out the interface for gl type templating
13 years ago
Alias.hs
Print types even when the elm file has already been compiled.
13 years ago
Environment.hs
getting closer, need to turn the list of gl initDecls into a TermN
13 years ago
ExtraChecks.hs
Add an occurs check to finally resolve #294
13 years ago
Fragment.hs
Use new Located datastructure, add source strings where appropriate
13 years ago
Inference.hs
Print types even when the elm file has already been compiled.
13 years ago
PrettyPrint.hs
reprime when printing types
13 years ago
Solve.hs
Add an occurs check to finally resolve #294
13 years ago
State.hs
Add an occurs check to finally resolve #294
13 years ago
Type.hs
Also catch Just [] as an error
13 years ago
Unify.hs
Add an occurs check to finally resolve #294
13 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