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
  G. Allais 24da530fe3 [ fix #3483 ] by mimicking bindBuiltin's process (#3484) vor 6 Jahren
  Ulf Norell a751e811a8 [ test ] use Agda.Builtin.* in test/Common vor 9 Jahren
  Philipp Hausmann 5a5b9a2784 [ tests ] Use Haskell test runner for Succeed tests. vor 9 Jahren