@hackage ddc-source-tetra0.4.1.1

Disciplined Disciple Compiler source language.

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.