Etusivu Tutki Apua
Kirjaudu sisään
caryoscelus
/
agda
Tarkkaile 1
Äänestä 0
Fork 0
Tiedostot Ongelmat 0 Pull-pyynnöt 0 Wiki
Branch: js_amd
Branchit Tagit

Commitin historia

Tekijä SHA1 Viesti Päivämäärä
  Nils Anders Danielsson 310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules. 15 vuotta sitten
  ulfn 5968d8f8e8 minor fixes to examples 18 vuotta sitten
  ulfn 46ea7c442c started on port of Few Digits library for exact real arithmetic 18 vuotta sitten