AG
Size: a a a
2020 May 16
Oℕ
а All чо такое
AG
All : Pred a -> Type
All {a} p = {x : a} -> p x
All {a} p = {x : a} -> p x
AG
типа "замыкание"
AG
идея короч в том что разделяторы контекстов в кодебрёйн линейщине это пруф-релевантные PCM
AG
поэтому можно метатеорию изящно упаковать в сепарационку
ZM
можно слушать радио с классической музыкой, собирать рододендроны, топтать жаб и отхватить по дороге домой от каких то немытых обсосов
в общем никакого нового опыта ощущений не дает
в общем никакого нового опыта ощущений не дает
ZM
а не, можно качать интеллект, оч приятно
ᛒ
а не, можно качать интеллект, оч приятно
ZM
еще и зависло при попытки зайти в бар
ᛒ
кароче скайрим онлайн
ZM
симулятор сельской жизни
Oℕ
пездос так до сотни челов с этого видоса дойдёт, а я ещё не хотел сначала
AG
записавшихся на степик?
ΛВ
пездос так до сотни челов с этого видоса дойдёт, а я ещё не хотел сначала
Можно ещё тофу дискорд порекламить
ΛВ
ΛВ
Оч хороший вышел