git.iko.soy
/
rowtype-yoga/purescript-native
readme
files
commits
refs
on
3d84af6
help
sign in
rowtype-yoga/purescript-native
/
src
/
Language
/
PureScript
/
TypeChecker
9 files
../
Entailment.hs
Add information about skolems to type errors
11 years ago
Kinds.hs
Add information about skolems to type errors
11 years ago
Monad.hs
Renamer updates
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
Remove meet judgment, #1719
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