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 d6cec561d7 [ #4525 ] Erased pattern-matching lambdas. 3 éve
  Paolo G. Giarrusso e9e23b973d Replace `.` with explanation in words 4 éve
  Guillaume Allais e9ee1f90bb [ doc ] records & pattern-lambda 4 éve
  Ulf Norell 274b71520a [ user manual ] got rid of standard library dependency 7 éve
  Víctor López Juan b507471bb7 [ doc ] Converted remaining into literate files 8 éve