Add rec-fix and mrec-fix notations

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

204 stars 51 forks source link

Closed Lysxia closed 5 years ago

Lysxia commented 5 years ago

Notations that resemble the fix construct

Zdancewic commented 5 years ago

This looks good to me. I think we should merge it.