. Я работаю над проблемой объединения с пользовательским типом Subst a. Проблема гласит: «Определить класс типа Unifiable, который указывает, что функция unify :: a -> a -> Maybe (Подстрока a) должна
Я только начал играть с библиотекой математики-классов, и я бы хотел, чтобы доказать следующую лемму: Require Import
MathClasses.interfaces.abstract_algebra MathClasses.interfaces.vectorspace Mat
Я пытаюсь собрать простой пример interface в Идрисе. interface Foo a where
foo : a -> String
Но я получаю этот тип проверки ошибки: error: expected: "with",
argument expression,
function righ
Я создал некоторые пользовательские типы данных для представления чисел в Haskell, теперь я хочу реализовать экземпляры Eq для него, но я как-то застрял. Так что я уже сделал: data Digit = Zero | One