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 c5b859575b Horizontal tab characters are no longer treated as white space. 15 éve
  Nils Anders Danielsson 689c6aaa09 Moved away or fixed many broken example files. 16 éve
  scm 17947c6a59 minor bugs in Monad, Data.Fin and Data.Vec 17 éve
  ulfn b95bf44036 Fin and Vec libs + proof of pigeon hole principle 18 éve