trommler / cps-defun

Coq proofs for the paper "Cutting out Continuations"

Geek Repo

Github PK Tool