git.iko.soy
/
rowtype-yoga/purescript-native
readme
files
commits
refs
on
e17d536
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
Fix #1991, instantiate polymorphic types before unification in if..then.else
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