lastland/ProgramAdverbs
The Coq formalization of the paper Program Adverbs and Tlön Embeddings by Yao Li and Stephanie Weirich, published at ICFP 2022.
CoqMIT
No issues in this repository yet.
The Coq formalization of the paper Program Adverbs and Tlön Embeddings by Yao Li and Stephanie Weirich, published at ICFP 2022.
CoqMIT
No issues in this repository yet.