1зной
1ответ
Scala для переходов на собственные типы с зависимыми от пути типами
3зной
2ответ
Равенство значений не переносится на типы, зависящие от этих значений; я что-то упускаю?
9зной
3ответ
Haskell: Как написать экземпляр «Monoid» для чего-то, что зависит от параметров
4зной
1ответ
Порядок аргументов типа в индексированных векторах
4зной
2ответ
Scala самостоятельного типа с зависимым типирование
2зной
1ответ
Возможно ли иметь разные типы поведения для одного и того же конструктора?
2зной
2ответ
Массивов и тип класс-лифтинг (и зависимые типы?)
9зной
1ответ
Является ли Agda без K менее мощным?
0зной
1ответ
Закреплено простым доказательством равенства