Type.idr « src - yellowsquid/church-eval.git - [no description]

summary refs log tree commit diff

path: root/src/Type.idr

blob: c4ab809c2311c37f2b7b905799066fff69e42d3e (plain)

module Type

infixr 4 ~>

public export
data Ty : Type where
  N : Ty
  (~>) : Ty -> Ty -> Ty

%name Ty ty