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_patch
Branch-ok Tag-ek

Commit történet

Szerző SHA1 Üzenet Dátum
  Andrés Sicard-Ramírez cc0e38df20 [ #1918 ] Removed unnecessary occurrences of `no-coverage-check`. 8 éve
  Philipp Hausmann 9d7c9b2b55 [ tests ] Use standard IO instead of MAlonzo specific functions. 9 éve
  Philipp Hausmann 344d141e5f [ tests ] Renamed exec-tests to compiler-tests 9 éve