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

Commit történet

Szerző SHA1 Üzenet Dátum
  Nils Anders Danielsson 95d4470c4c [ Issue 1109, Issue 1436 ] New default precedence level: unrelated. 10 éve
  ulfn b5dc9b4961 minor changes to the simple lib 17 éve
  ulfn 700b2c6cbf added simple-lib to the test suite and made some changes 17 éve
  ulfn 78e4641897 added more stuff to simple-lib 17 éve
  ulfn 299459d2b6 start on a very simple library 17 éve