search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
199 stars 50 forks source link

Dijkstra monad #144

Closed lag47 closed 4 years ago

lag47 commented 4 years ago

Adding Dijkstra monad work into the main repository on a distinct branch. Should not affect anyone else's development at the moment.