Sākums Izpētīt Palīdzība
Pierakstīties
caryoscelus
/
agda
Vērot 1
Pievienot zvaigznīti 0
Atdalīts 0
Faili Problēmas 0 Izmaiņu pieprasījumi 0 Vikivietne
Atzars: js_amd_patch
Atzari Tagi

Revīziju vēsture

Autors SHA1 Ziņojums Datums
  ulfn 76730c04f7 fixed broken benchmark examples 10 gadi atpakaļ
  ulfn c9ae0656cf made some changes to accomodate the new level representation 13 gadi atpakaļ
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. 15 gadi atpakaļ