n
revDumb к revOnto перешел без каких-то фактических штук, а дальше уже пошел доказывать, что оно работает. Как по мне - важней было бы показать переход от первого ко второму используя какие-то формальные методыSize: a a a
2019 August 22
PK
А можно ли как-то доказать сложность алгоритма автора используя Idris? Вопрос оп чем - вот он от
PK
Оно же вроде таким же будет? Там проблема в том, что мы тяжелую операцию добавления в конец используем, а не добавления головы.
PK
И то, только потому что мы знаем о сложности этой операции
L
AV
А бар в Мск?
AV
Мне до спб далековато
MK
Я в Берлине)
AT
я за! (если в спб)
🦉
Я в Берлине)
Не на EthGlobal случаем?
MK
Не на EthGlobal случаем?
На ICFP
L
я за! (если в спб)
Крутяк! Завтра во сколько удобно, в 8 норм?)
RN
я в командировке, буду в пн
AT
Крутяк! Завтра во сколько удобно, в 8 норм?)
Ага, норм)