БЁ
Только можно без них
Size: a a a
2021 April 05
λ
У тебя все друзья жополизы ?
Oℕ
@AntonTrunov что такое Reserved Notation
λ
С тобой дружу
B
погоди, ведь если намазать очко чье-то ореховым маслом, то ты всегда готов будешь
Oℕ
типа "пока не написали", но пожалуйста знайте, что напишем в будущем?
AT
Это для того, чтобы задекларировать нотацию, но не определять ещё.
Полезно, например, чтоб задокументировать нотационный интерфейс библиотеки
Полезно, например, чтоб задокументировать нотационный интерфейс библиотеки
λ
Я ? Вы меня с кем-то путаете
B
ты псина
БЁ
@dmsol ты на яве пишешь за деньги?
B
ᛒ
А для рефайнмент типоа мона определить тайплевел операции?
БЁ
Ты на яве пишешь за идею?
БЁ
Ты на яве пишешь?