Langage · Agda

Agda

Dépôts open source suivis ayant Agda pour langage principal, triés par étoiles.

3 dépôts

#1
plfa.github.io@plfaAgda
Une introduction à la théorie des langages de programmation en Agda.
★ 1 513+0Évolution des étoiles sur les 7 derniers jours
#2
agda-stdlib@agdaAgda
Bibliothèque standard d’Agda
★ 675+0Évolution des étoiles sur les 7 derniers jours
#3
cubical@agdaAgda
Une bibliothèque expérimentale pour Cubical Agda
★ 567+2Évolution des étoiles sur les 7 derniers jours