cps

A formalization of continuation-passing style calculi in Coq [WIP]

GitHub

36 stars
1 watching
0 forks
Language: Coq
last commit: 26 days ago