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

Historique des commits

Auteur SHA1 Message Date
  Jesper Cockx 0fc6b558b0 [ re #5386 ] Address two comments by @nad il y a 3 ans
  Fredrik Nordvall Forsberg a50ff581f3 [ #2487 ] consistency checking of options il y a 5 ans
  Ulf Norell a751e811a8 [ test ] use Agda.Builtin.* in test/Common il y a 8 ans
  Dan Rosén aeb82f211d Remove --universe-polymorphism in test/Common il y a 13 ans
  ulfn 16a2d0386b moved Coinduction.agda in test/succeed to test/Common il y a 13 ans