Оригинал взят у nadia_76 в Руководство по созданию аккаунта на Dreamwidth
Оригинал взят у kiczune в Руководство по созданию аккаунта на Dreamwidth
Оригинал взят у allanhan в Руководство по созданию аккаунта на Dreamwidth
Оригинал взят у oleg_sentia в Руководство по созданию аккаунта на Dreamwidth
Оригинал взят у k0m4atka в Руководство по созданию аккаунта на Dreamwidth
Платформа Dreamwidth ( Read more... )

Специалисты по idris есть?
Объясните почему Algebraic.idr из lambdaconf 2015 не тайпчекается свежим идрисом?

Конкретно вот на этом участке
notNotIdempotent : (b : Bool) -> Idempotent not b -> Void
notNotIdempotent False Refl impossible
notNotIdempotent True Refl impossible

Вываливает ошибку:
- + Errors (1 ( Read more... )

Что-то буду писать под замком. А что-то - нет.
Добавляйтесь, кого не добавил.