Home Explore Help
Sign In
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: js_amd_patch
Branches Tags

Commit History

Author SHA1 Message Date
  ulfn 250f11bb76 renamed more things called | 18 years ago
  ulfn e8eb83662d renamed things called | in some examples 18 years ago
  ulfn 46ea7c442c started on port of Few Digits library for exact real arithmetic 18 years ago
  ulfn 3988dde36e start at some kind of library 18 years ago