issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
198
stars
50
forks
source link
Rename MonadLaws to MonadLawsE
#185
Closed
Lysxia
closed
4 years ago
Lysxia
commented
4 years ago
eqm -> eq1
EqMProps -> Eq1Equivalence
Closes #177
Closes #177