SK
вот бы такую фотографию Кирилла
@kshelopugin оч удачная аватарка текущая, вообще говоря
Size: a a a
2020 May 15
D
на предыдущую похожа да
KS
мерси
2020 May 16
𝛈µ
110-160 фпс в доте на максималочках в форкее - это норм или хуйня?
AG
сможешь вывести засахаренный терм по дереву?
test : Term U []
test = LetP $ MkStar (Pair $ MkStar TT Nil TT)
Nil
(LetT $ MkStar (Var MkOne)
(ConsR $ ConsL Nil)
(Var MkOne))
test : ()
test =
let (a,b) = (*,*) in
let * = a in b
𝛈µ
сможешь вывести засахаренный терм по дереву?
test : Term U []
test = LetP $ MkStar (Pair $ MkStar TT Nil TT)
Nil
(LetT $ MkStar (Var MkOne)
(ConsR $ ConsL Nil)
(Var MkOne))
Даже пытаться не буду
AG
а в чем прикол, товарищи?
AG
прикол в том, что это линейный язык
AG
метатеория которого записана сепарационкой
𝛈µ
Алекс, где мозги раздают?
𝛈µ
Чё читать надо?
AG
пфеннинга можно, он бодро пишет
KS
110-160 фпс в доте на максималочках в форкее - это норм или хуйня?
Нормально, а чо стоит, вулкан? Или ты на линупсе?
KS
Ну там ещё надо потестить конечно, покидать метеоров чтобы погрузить немножко
𝛈µ
Kirill Shelopugin
Ну там ещё надо потестить конечно, покидать метеоров чтобы погрузить немножко
меньше 110 не былв
𝛈µ
Kirill Shelopugin
Нормально, а чо стоит, вулкан? Или ты на линупсе?
Dx11 был. Завтра генту соберу
AS
/pidoreg@SublimeBot