git.iko.soy
/
rowtype-yoga/purescript-native
readme
files
commits
refs
on
1a45336
help
sign in
rowtype-yoga/purescript-native
/
src
/
Language
/
PureScript
/
TypeChecker
9 files
../
Entailment.hs
Basic context simplification
11 years ago
Kinds.hs
Distinguish between the different ProperNames
11 years ago
Monad.hs
Distinguish between the different ProperNames
11 years ago
Rows.hs
New approach to unification
11 years ago
Skolems.hs
Add information about skolems to type errors
11 years ago
Subsumption.hs
Add information about skolems to type errors
11 years ago
Synonyms.hs
Use base-compat across package
11 years ago
Types.hs
Merge master
11 years ago
Unify.hs
Tests, Check all unknowns in unsolved constraints will be generalized
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