issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
199
stars
50
forks
source link
Remove confusing notations
#154
Closed
Lysxia
closed
4 years ago
Lysxia
commented
4 years ago
KTree.iter
and similar
Lysxia
commented
4 years ago
Fixed in 58896ae
KTree.iter
and similar