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

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

readme files commits refs

on ac2b456 help sign in

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

9 files

../ Entailment.hsMerge master11 years ago Kinds.hsType suggestions (#2076)10 years ago Monad.hsTyped holes11 years ago Rows.hsremoves superfluous constraints.11 years ago Skolems.hsremoves superfluous constraints.11 years ago Subsumption.hsremoves superfluous constraints.11 years ago Synonyms.hsremoves superfluous constraints.11 years ago Types.hsTyped holes11 years ago Unify.hsType suggestions (#2076)10 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