Propriétaire · plfa

plfa

Dépôts open source suivis de plfa, triés par étoiles.

1 dépôt

#1
plfa.github.io ↗@plfaAgda
Une introduction à la théorie des langages de programmation en Agda.
★ 1 514+0Évolution des étoiles sur les 7 derniers jours