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

Commit History

Author SHA1 Message Date
  Ulf Norell b56b3965a6 [ backend ] updated compiler pragmas in test cases 8 years ago
  Nicolas Pouillard a425804612 Refactoring of the Builtin support 14 years ago
  Nils Anders Danielsson b882298c04 Restricted IMPORT pragmas. 15 years ago
  ulfn 286c181085 updated simple-lib to the new COMPILED_DATA pragma 17 years ago
  ulfn 5d69dcb1f4 added some stuff to simple-lib 17 years ago
  ulfn 14b85602dc messing around with the simple-lib 17 years ago