Skip to content

GitLab

Explore

Sign in

Smeding,T.J. (Tom)
efficient-chad-agda-mirror

E

efficient-chad-agda-mirror

Project information

This is a mirror of https://github.com/tomsmeding/efficient-chad-agda on UU-owned storage. This is the artifact for https://arxiv.org/abs/2307.05738 , submitted to POPL 2024.

7 Commits
1 Branch
0 Tags

README

Created on

October 31, 2023

Copy SSH clone URLgit@git.science.uu.nl:t.j.smeding/efficient-chad-agda-mirror.git
Copy HTTPS clone URLhttps://git.science.uu.nl/t.j.smeding/efficient-chad-agda-mirror.git