Mar
24th
Mon
24th
The Disciplined Disciple Compiler
A dialect of Haskell with effect typing, type-directed field projections and other goodies.