Почетна Преглед Помоћ
Пријавите се
caryoscelus
/
agda
Прати 1
Волим 0
Креирај огранак 0
Датотеке Дискусије 0 Захтеви за спајање 0 Вики
Грана: js_amd_patch
Гране Ознаке

Историја ревизија

Аутор SHA1 Порука Датум
  ulfn 76730c04f7 fixed broken benchmark examples пре 10 година
  ulfn c9ae0656cf made some changes to accomodate the new level representation пре 13 година
  Nils Anders Danielsson 48473b335d An example that should arguably typecheck faster. пре 15 година