Несоответствие типов Idris, возникающее даже из шаблона
#idris #typechecking #theorem-proving #idris #проверка типов #доказательство теоремы Вопрос: Тестирование "простого" примера типов идентификаторов, равенства мод, но доказательство транзитивности не будет проверять тип даже из шаблона. Больше, чем исправление, я…