1ответов 10 Как доказать двойное отрицание для логических значений уровня типа? haskell type-level-computation
2ответов 27 Разница между Haskell и Idris: отражение среды выполнения / Compiletime в юниверсах типов dependent-type haskell idris type-level-computation