Code artifact associated with Decalf: A Directed, Effectful Cost-Aware Logical Framework.
@software{grodin-niu-sterling-harper:2024:agda,
author = {Grodin, Harrison and Niu, Yue and Sterling, Jonathan and Harper, Robert},
publisher = {GitHub},
url = {https://github.com/jonsterling/agda-calf},
year = {2024},
title = {\texttt{agda-calf} v2.0.0},
doi = {10.1145/3580425}
}