Home Esplora Aiuto
Accedi
caryoscelus
/
agda
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): js_amd
Rami (Branch) Tag

Cronologia Commit

Autore SHA1 Messaggio Data
  Nils Anders Danielsson d6cec561d7 [ #4525 ] Erased pattern-matching lambdas. 3 anni fa
  Paolo G. Giarrusso e9e23b973d Replace `.` with explanation in words 5 anni fa
  Guillaume Allais e9ee1f90bb [ doc ] records & pattern-lambda 5 anni fa
  Ulf Norell 274b71520a [ user manual ] got rid of standard library dependency 8 anni fa
  Víctor López Juan b507471bb7 [ doc ] Converted remaining into literate files 8 anni fa