Hacker News new | ask | show | jobs
by m_j_g 1822 days ago
cubical Agda : https://github.com/agda/cubical is also worth mentioning int this context