@hackage ddc-core-tetra0.4.1.3

Disciplined Disciple Compiler intermediate language.

Disciplined Disciple Compiler intermediate language with internalized effect judgement.