cps
cps copied to clipboard
takanuva
A formalization of continuation-passing style calculi in Coq [WIP]
Results
1
cps issues
Sort by
recently updated
recently updated
newest added
As in the title, we want to separate `Substitution.v` into its own package (may require some tidy up).
