Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Common programming language syntax ingredients
Documentation
module Hyper.Syntax.Var
module Hyper.Syntax.TypedLam
module Hyper.Syntax.TypeSig
module Hyper.Syntax.Let
module Hyper.Syntax.Lam
module Hyper.Syntax.FuncType
module Hyper.Syntax.App