issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
199
stars
50
forks
source link
Add laws for nondeterminism monad
#168
Closed
Grain
closed
4 years ago