Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Branch: js_amd
Branch-ok Tag-ek

Commit történet

Szerző SHA1 Üzenet Dátum
  Nils Anders Danielsson 310d8c455c Fixed a bug: OPTIONS pragmas stayed in effect for imported modules. 15 éve
  ulfn 5968d8f8e8 minor fixes to examples 18 éve
  ulfn 46ea7c442c started on port of Few Digits library for exact real arithmetic 18 éve