Я хотел бы протестировать некоторые определения в системе F, используя Agda в качестве моего...
, поэтому я пытаюсь сделать системный омега в окончательном стиле без тегов. Я успешно закодировал...