D
Dijkstra Monads for All
Dijkstra monads and effect observations
-
Kenji Maillard authoredce2fa931
| Name |
Last commit
|
Last update |
|---|---|---|
| theories | ||
| .gitignore | ||
| Makefile | ||
| README.md | ||
| _CoqProject |
Dijkstra monads and effect observations
| Name |
Last commit
|
Last update |
|---|---|---|
| theories | ||
| .gitignore | ||
| Makefile | ||
| README.md | ||
| _CoqProject |