GitHub repository: takanuva/cps
Primary language: Coq
Created: 2019-10-13T05:30:20Z
Description: A formalization of continuation-passing style calculi in Coq [WIP]