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

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

readme files commits refs

on 1059be8 help sign in

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

9 files

../ Entailment.hsMerge master to feature branch11 years ago Kinds.hsKind check constraint contexts, fix #107111 years ago Monad.hsWIP: new externs file format11 years ago Rows.hsExpand type synonyms eagerly11 years ago Skolems.hsChange data structure for error message hints11 years ago Subsumption.hsRemove unused import11 years ago Synonyms.hsChange data structure for error message hints11 years ago Types.hsFriendlier errors11 years ago Unify.hsFriendlier errors11 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