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
/
doc
caryoscelus ce9b406819 [ #5793 ] JS backend: allow choosing CJS or AMD module style il y a 3 ans
..
HCAR c6423f0872 correct my name il y a 5 ans
license-report 4cb5321075 [ doc ] Fix a cabal option mistake for license-report il y a 3 ans
release-notes d8b06a90ee Released 2.6.2.1: move released CHANGES to doc/release-notes/2.6.2.1.md il y a 3 ans
user-manual ce9b406819 [ #5793 ] JS backend: allow choosing CJS or AMD module style il y a 3 ans