takanuva / cps

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

takanuva/cps Stargazers