Domovská stránka Prehľadávať Pomoc
Prihlásiť sa
caryoscelus
/
agda
Pridať medzi pozorované 1
Hviezda 0
Fork 0
Súbory Issues 0 Pull requesty 0 Wiki
Branch: js_amd
Branche Tagy

História revízii

Autor SHA1 Správa Dátum
  Nils Anders Danielsson 310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules. 15 rokov pred
  ulfn 5968d8f8e8 minor fixes to examples 18 rokov pred
  ulfn 46ea7c442c started on port of Few Digits library for exact real arithmetic 18 rokov pred