Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): js_amd
Rami (Branch) Tag

Cronologia Commit

Autore SHA1 Messaggio Data
  Nils Anders Danielsson 310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules. 15 anni fa
  ulfn 5968d8f8e8 minor fixes to examples 18 anni fa
  ulfn 46ea7c442c started on port of Few Digits library for exact real arithmetic 18 anni fa