9 Jul
2023
9 Jul
'23
20:02
James Tan Juan Whei pushed new branch cubical-equality at Stefan / Typer
--
View it on GitLab: https://gitlab.com/monnier/typer/-/tree/cubical-equality
You're receiving this email because of your account on gitlab.com.