Ivory.Language.Proxy

Proxy

data Proxy k t

type SProxy a

Nat

type ANat n

type NatType n

aNat

fromTypeNat

Symbol

type ASymbol s

type SymbolType s

aSymbol

fromTypeSym