Strona główna Odkrywaj Pomoc
Zaloguj się
caryoscelus
/
agda
Obserwuj 1
Polub 0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Gałąź: js_amd
Gałęzie Tagi

Historia zmian

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