issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
203
stars
51
forks
source link
More consistent names
#147
Closed
Lysxia
closed
4 years ago
Lysxia
commented
4 years ago
Also made to correspond more closely to the paper.
Also made to correspond more closely to the paper.