git.iko.soy
/
rowtype-yoga/purescript-native
readme
files
commits
refs
on
f14015e
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
GHC <= 7.10
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
Fix #1664, check kind before expanding wildcards.
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