Irie-lang. Subtyping calculus of inductive constructions
lfvm-stg. Map lazy functional language constructs to LLVM IR
Firi-pieceset. Shell
Conjugate-Hylomorphisms. Recursion-schemes from adjunctions
