LINUX.ORG.RU

История изменений

Исправление Siborgium, (текущая версия) :

Я отлично понимаю, что это. Я сам немало писал на расте и хаскеле, тыкал идрис 1/2. Я просто рекомендую вам сесть и написать is_same. Если не получится, спросите себя о том, почему это не получилось сделать. Если вам известен тип – почему вы не можете воспользоваться информацией о нем?

Исходная версия Siborgium, :

Я отлично понимаю, что это. Я сам немало писал на расте и хаскеле, тыкал идрис 1/2. Я просто рекомендую вам сесть и написать is_same. Если не получится, спросите себя о том, почему это не получилось сделать.