agda/agda-pkg

apkg - package manager for Agda

langage: Python - taille: 19 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a environ 4 ans - étoiles: 38 - forks: 8