git.iko.soy
/
rowtype-yoga/purescript-native
readme
files
commits
refs
on
6cb50ee
help
sign in
rowtype-yoga/purescript-native
/
src
/
Language
/
PureScript
/
TypeChecker
9 files
../
Entailment.hs
Merge master
11 years ago
Kinds.hs
removes superfluous constraints.
11 years ago
Monad.hs
more fixes
11 years ago
Rows.hs
removes superfluous constraints.
11 years ago
Skolems.hs
removes superfluous constraints.
11 years ago
Subsumption.hs
removes superfluous constraints.
11 years ago
Synonyms.hs
removes superfluous constraints.
11 years ago
Types.hs
Disallow constraint generalization for recursive functions.
11 years ago
Unify.hs
Merge master
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