GitHub repository: stepchowfun/delimited-effects
Primary language: Coq
Description: To be submitted to POPL 2019.