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

Historique des commits

Auteur SHA1 Message Date
  Nils Anders Danielsson a3222370f2 [ #5201 ] Made syntax declarations more liberal. il y a 3 ans
  Ulf Norell 2a2d1a720a [ fix #3790 ] change syntax example from bind to exist il y a 3 ans
  Ulf Norell ed6041483c [ #3790 ] document that syntax must be fully applied il y a 3 ans
  Andrea Vezzosi e8002327cf [ doc ] fixed user-manual-test il y a 7 ans
  Andrea Vezzosi cf2e965651 [ doc ] some docs for syntax declarations il y a 7 ans