Accueil Explorer Aide
Connexion
caryoscelus
/
agda
Suivre 1
Voter 0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Branche: js_amd_patch
Branches Tags
agda
/
test
/
features
/
Makefile

Makefile 32 B
Lien permanent Historique Raw

123 
  1. default :
    2. 

  2. 	agda Copatterns.agda
    3. 

  3.