euisuny/icfp22-layered-monadic-interpreters

artifact for ICFP'22 paper "Formal Reasoning About Layered Monadic Interpreters"

Coq