lambda-cube-0.3.0.0: Haskell implementation of (some of) lambda cube calculi
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
LambdaCube.STLC.Parser
Documentation
pTopTerm
::
Parser
ExtLCTerm
Source
#
pTopType
::
Parser
ExtLCType
Source
#