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

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

readme files commits refs

on c6a9b91 help sign in

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

9 files

../ Entailment.hsRemove unused function arguments11 years ago Kinds.hsUnify LANGUAGE pragma layouts11 years ago Monad.hsUnify LANGUAGE pragma layouts11 years ago Rows.hsExpand type synonyms eagerly11 years ago Skolems.hsRemove redundant import warnings for 7.1011 years ago Subsumption.hsFix warnings11 years ago Synonyms.hsExpand type synonyms eagerly11 years ago Types.hsRemove unused function arguments11 years ago Unify.hsRemove unused function arguments11 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