The ddc-source-tetra package

[Tags:library, mit]

Disciplined Disciple Compiler Tetra source language. Disciple Tetra is the main source language of DDC. The word Tetra refers to the four base kinds: Data, Region, Effect and Witness.


Dependencies array (>=0.4 && <0.6), base (>=4.6 && <4.8), containers (==0.5.*), ddc-base (==0.4.1.*), ddc-core (==0.4.1.*), ddc-core-salt (==0.4.1.*), ddc-core-tetra (==0.4.1.*), deepseq (==1.3.*), mtl (==2.2.*), transformers (==0.4.*) [details]
License MIT
Author The Disciplined Disciple Compiler Strike Force
Maintainer Ben Lippmeier <>
Category Compilers/Interpreters
Home page
Uploaded Fri Oct 31 04:54:19 UTC 2014 by BenLippmeier
Distributions NixOS:
Downloads 636 total (8 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees