git.iko.soy
/
rowtype-yoga/purescript-native
readme
files
commits
refs
on
8c9d494
help
sign in
rowtype-yoga/purescript-native
/
src
/
Language
/
PureScript
/
TypeChecker
4 files
../
Kinds.hs
Fully type the provided value in infer and check. Need to fix the escape check.
13 years ago
Monad.hs
Fix up broken tests, fix the escape check and skolem escape check.
13 years ago
Synonyms.hs
Fix type synonyms issue
13 years ago
Types.hs
Fix up broken tests, fix the escape check and skolem escape check.
13 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