lambda-cube-0.3.0.0: Haskell implementation of (some of) lambda cube calculi
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
LambdaCube.SystemF.TH
Documentation
qTerm
::
QuasiQuoter
Source
#
qType
::
QuasiQuoter
Source
#