Resources for One Monad to Prove Them All (Functional Pearl) (submitted to Haskell'18) by Jan Christiansen, Sandra Dylus and Finn Teegen.
forked from ichistmeinname/free-proving
-
Notifications
You must be signed in to change notification settings - Fork 0
ErenBYilmaz/free-proving
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Resources for "One Monad to Prove Them All (Functional Pearl)"
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Coq 66.6%
- TeX 33.3%
- Shell 0.1%