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