ΑZ
хови
Size: a a a
2021 June 22
AN
кофи машину что ли?
ΑZ
Нет
ΑZ
Манжет
а
Класс
а
::<>
МЯ
Кто нибудь участвовал в world skills (программные решения для бизнеса)? Мне просто интересно это только у нас в регионе организация такое дно или нет?
AN
ну и шо, как на идрисе сделать хоть что то полезное? мне тоже надо через ST все делать?
AN
Я хочу какой то алгоритм с обращением к массивам по индексу, и доказать там что все индексы < size()
[
под давлением общества я уменьшил мусорную площадь, которая у меня занята виджетами
AN
но я слабо представляю какой это может быть алгоритм...
[
quicksort
B
suickqort
[
ну типа
B
AN
квик сорт как раз с монадами надо делать, и уже вроде сделали до меня
B
так там же лист компрехеншеном я в 5 строк делал
AN
что?