lastland/icfp22-layered-monadic-interpreters
artifact for ICFP'22 paper "Formal Reasoning About Layered Monadic Interpreters"
Coq
Watchers
No one’s watching this repository yet.
artifact for ICFP'22 paper "Formal Reasoning About Layered Monadic Interpreters"
Coq
No one’s watching this repository yet.