/dada/package.dhall

Copy path to clipboard

Source

{ Const = ./Const/package.dhall
, Corecursive = ./Corecursive/package.dhall
, EnvT = ./EnvT/package.dhall
, List = ./List/package.dhall
, Mu = ./Mu/package.dhall
, Natural = ./Natural/package.dhall
, Nu = ./Nu/package.dhall
, Optional = ./Optional/package.dhall
, Recursive = ./Recursive/package.dhall
, Steppable = ./Steppable/package.dhall
, Void = ./Void/package.dhall
, XNor = ./XNor/package.dhall
, colambek = ./colambek
, lambek = ./lambek
}