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

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

Аутор SHA1 Порука Датум
  ulfn d1767a689f parameterised modules prototype пре 19 година
  ulfn b91b3a8b4f application and typed lambdas пре 19 година
  ulfn db44a6fd77 reimplementation of occurs check пре 19 година
  ulfn 860d61fcc0 type checking skeleton with hooks to main пре 19 година
  ulfn 7a6398f213 separated context and signature пре 19 година
  ulfn bb324ff127 split Syntax.Internal into a million different modules пре 19 година
  ulfn 239c40cbc5 some notes пре 19 година