K
Size: a a a
2019 December 30
(
Variant compare_nat m n :
bool -> bool -> bool -> bool -> bool -> bool -> Set :=
| CompareNatLt of m < n : compare_nat m n true false true false false false
| CompareNatGt of m > n : compare_nat m n false true false true false false
| CompareNatEq of m = n : compare_nat m n true true false false true true.
Что это, это кок?
Oℕ
(
Oℕ
Теперь , хочу узнать, в каком контексте это было написано
блэт ну это лекция про рефлект
Oℕ
смотри видосы
KS
Щас на маке ставил металс. Какой-то ужас. Джава стоит по умолчанию по какому-то ебанутому пути, java_home не прописан. Поставить сбт через брю это аттракцион какой-то
DM
Variant compare_nat m n :
bool -> bool -> bool -> bool -> bool -> bool -> Set :=
| CompareNatLt of m < n : compare_nat m n true false true false false false
| CompareNatGt of m > n : compare_nat m n false true false true false false
| CompareNatEq of m = n : compare_nat m n true true false false true true.
6-дырочная логика
Oℕ
тебе скинуть твит более чем со 100 лайками?
(
смотри видосы
Да я смотрю
DM
Да я смотрю
на дорогу смотри
Oℕ
Kirill Shelopugin
Щас на маке ставил металс. Какой-то ужас. Джава стоит по умолчанию по какому-то ебанутому пути, java_home не прописан. Поставить сбт через брю это аттракцион какой-то
зачем тебе мак
Oℕ
жену скале будешь учить?
K
жену скале будешь учить?
Научи меня скале
Oℕ
Научи меня скале
ты умеешь
Oℕ
просто верь в себя
KS
Взял на работе мак. Думал, вдруг понравится, полностью для работы на него перейду
Oℕ
Kirill Shelopugin
Взял на работе мак. Думал, вдруг понравится, полностью для работы на него перейду
аххаха