Resources for "One Monad to Prove Them All (Functional Pearl)"
Primary LanguageCoq
No one’s watching this repository yet.