Haec — transformation language for honest, graded transformations (preserve/project/fuse/attenuate), as part of a Turing Complete language with (classical) tropes as first class..
language types tooling example json-ld language-design transform transformation tropes idris2 a2ml haec particularity
-
Updated
Jul 21, 2026 - Just