git.iko.soy
/
rowtype-yoga/purescript-native
readme
files
commits
refs
on
3984180
help
sign in
rowtype-yoga/purescript-native
/
src
/
Language
/
PureScript
/
TypeChecker
9 files
../
Entailment.hs
Distinguish between the different ProperNames
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
Distinguish between the different ProperNames
11 years ago
Unify.hs
Add information about skolems to type errors
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