Madoko

MaRDI QIDQ53512swMATHFDO

Official website https://www.madoko.net

Source code repository https://github.com/koka-lang/madoko

Cited in

(1)

• Type directed compilation of row-typed algebraic effects

This page was built for software: Madoko