Skip to content

HERMIT to HERMIT Shell

Andy Gill edited this page May 28, 2015 · 107 revisions
Command/Type HERMIT location HERMIT-shell equivalent HERMIT-shell location Notes
example :: Foo Whatever.API example Whatever.API Miscellanea
rhs-of :: RhsOfName -> TransformH LCoreTC LocalPathH HERMIT.Dictionary.Navigation rhsOf :: RhsOfName -> TransformH LCoreTC LocalPath
HERMIT Type HERMIT-shell Type Notes
RhsOfName
TransformH :: * -> * -> * Transform
LCoreTC
LocalPathH LocalPath

Clone this wiki locally