/icfp22-layered-monadic-interpreters

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

Primary LanguageCoq

Stargazers

No one’s star this repository yet.