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