Dijkstra monad iter pred refactor

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

199 stars 50 forks source link

Closed lag47 closed 4 years ago

lag47 commented 4 years ago

Merging in refactor of dijkstra monad material

lag47 commented 4 years ago

Merging in refactor of dijkstra monad material