ZM
при создании учетки оно не пишет что ник пашет, просто error и длинный номер
Size: a a a
2020 May 16
ZM
хотя некоторые финансовые институты считают это не баг
ZM
AG
чо такое звезда
это я так обозвал конструктор типа ()
AG
надо было по скальному наверное написать:
test : Unit
test =
let (a,b) = ((),()) in
let () = a in b
test : Unit
test =
let (a,b) = ((),()) in
let () = a in b
Oℕ
типа мораль в том, что конпелятор обязывает сожрать a и сразу b не напишешь?
Oℕ
на секвенциях конечно же
AG
не, это естественная дедукция, но с сепарационкой внутри
ᛒ
Oℕ
а это ёлочки, которые ты выше писал
AG
я тут вызывался статью про это у нас на семинаре рассказывать 26го
AG
так вот потиху перепиливаю ее на идрис по мере чтения
Oℕ
Oℕ
попа слулашетелей помыта? готова к анальным ёлочкам?
AG
этот стиль с All и ёлочками кстати не случайно тпарсек напоминает
AG
они как раз гийомовским генерик синтаксисом вдохновлялись
Oℕ
Pred - это A -> Type?