from Hacker News

Category Theory Library for Agda

by presheaf on 11/30/22, 8:09 PM with 0 comments