П
replaceAt : Fin len -> elem -> Vect len elem -> Vect len elem
replaceAt FZ y (_::xs) = y :: xs
replaceAt (FS k) y (x::xs) = x :: replaceAt k y xs
типа вот это уже стрёмно
Size: a a a
2021 June 22
B
AN
типа вот это уже стрёмно
AN
искал массивы в идрисе, но здравый разум подсознания победил
П
П
?
AN
Generativity все дела, пруф индексов
AN
у них правда хвост рекурсии не оптимально сделан. надо pr отправить бы
AN
ну ладно, это конечно троллинг немного) т.к вот эти first/last/upper_middle на честном слове=)
2021 June 23
r
Эк. А выглядело как клиффхангер. И хорошие воспоминания Сакуры о Сиро. Ожерелье ни в одном кадре по-моему не появляется
DS
Ну я просто оригинальную вн внимательно читал в этой концовке, поэтому хорошо помню что там происходило
TK
Попробовал iced, а он довольно хорош. Намного удобнее и интуитивнее nwg. Ещё бы компилился быстрее и памяти ел поменьше на пустой желудок.
TK
Уф, спойлеры. Через лет двадцать бы посмотрел фейт, а вы тут малину портите.
DS
Не надо смотреть фейт, надо читать
B
да ну, там японский шарить надо
DS
Она переведена неофициально, но вполне терпимо
B
жа нууу, я англ учил шоб приколы читать, а тут такой приколдес шо емае