lambda-cube-0.3.0.0: Haskell implementation of (some of) lambda cube calculi
Safe HaskellNone
LanguageHaskell2010

LambdaCube.SystemFw_.TH

Documentation

qTerm :: QuasiQuoter Source #

qType :: QuasiQuoter Source #

qKind :: QuasiQuoter Source #