JacquesCarette/PureBaggery
Where we explore more interesting data types than just fixed points of polynomials
GitHub repository with 7 stars and 0 forks.
Language: Agda
Latest metric snapshot
2026-06-05: 7 stars and 0 forks.
Where we explore more interesting data types than just fixed points of polynomials
GitHub repository with 7 stars and 0 forks.
Language: Agda
2026-06-05: 7 stars and 0 forks.