Safe Haskell | None |
---|---|
Language | Haskell2010 |
Variables.
Documentation
newtype Var v (expr :: HyperType) (h :: AHyperType) Source #
Parameterized by term AST and not by its type AST (which currently is its only part used), for future evaluation/complilation support.
Var v |