Oℕ
а контракшен, когда используешь несколько раз
Size: a a a
2020 August 03
D
можешь условно считать, что викенинг это чем-то похоже на то, когда ты добавляешь аргумент в функцию и не используешь его
спасибо
Oℕ
@odomontois твой тел в деле?
да mi note 10 lite
Oℕ
с точностью до монады-константы
смешно
GP
гуглил фотки ульяновска
GP
K
V
dotty crew в дискорде создай
V
dotty-staging
AT
AG
w
A
основная проблема там как всегда - работа с открытыми термами, т.е. реализация пруверья
Открытые термы это которые можно потом в качество тайп холов всяких использовать?
AG
ну у которых есть свободные переменные
Oℕ
Открытые термы это которые можно потом в качество тайп холов всяких использовать?
нет, это типа куски выражений, которые ссылаются на переменные, которые не объявляют
AT