/dada/

Exported files:

• algebra
• apply
• colambek
• lambek
• package.dhall

Exported packages:

• Bool/
• Const/
• Corecursive/
• EnvT/
• Eq/
• List/
• Mu/
• Natural/
• Nu/
• Optional/
• Recursive/
• Steppable/
• Void/
• XNor/