Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: js_amd
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Nils Anders Danielsson 310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules. před 15 roky
  ulfn 5968d8f8e8 minor fixes to examples před 18 roky
  ulfn 46ea7c442c started on port of Few Digits library for exact real arithmetic před 18 roky