src/Language/PureScript/TypeChecker · rowtype-yoga/purescript-native · git.iko.soy

git.iko.soy/rowtype-yoga/purescript-native

readme files commits refs

on 7296802 help sign in

rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker

9 files

../ Entailment.hsFix #438 and #97912 years ago Kinds.hsMore progress on error messages12 years ago Monad.hsFix #101212 years ago Rows.hsTypechecker error messages12 years ago Skolems.hsMore progress on error messages12 years ago Subsumption.hsMore progress on error messages12 years ago Synonyms.hsA bit more progress on errors12 years ago Types.hsFix #101212 years ago Unify.hsMore progress on error messages12 years ago

soft-serve v0.12.3

keysesc 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