Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: js_amd_patch
Branches Tags

Commit Verlauf

Autor SHA1 Nachricht Datum
  Fredrik Nordvall Forsberg a50ff581f3 [ #2487 ] consistency checking of options vor 5 Jahren
  Ulf Norell a751e811a8 [ test ] use Agda.Builtin.* in test/Common vor 8 Jahren
  Ulf Norell 988141b7e8 [ primitive ] changed primitive integers to a datatype vor 9 Jahren
  Philipp Hausmann de5bf1989a [ tests ] Merge "Common" with backend tests "Prelude". vor 9 Jahren