M
Никто не ужирается до поросячьего визга
Size: a a a
2021 March 11
C
Никто не ужирается до поросячьего визга
До визга нет. Но хз, мне лично нравится мое пьяное состояние
M
До визга нет. Но хз, мне лично нравится мое пьяное состояние
Оно прикольное, но лично я принимаю его таким только от нескольких напитков
E
так, а куда там на Трунова регаться?
w
так, а куда там на Трунова регаться?
Эх, сча бы решаться
AG
data Mark : PTy -> NTy -> Type where
MM : TermC (a::g) b -> Env g -> Mark a b
FM : Mark (D a) a
data State : NTy -> Type where
TM : TermS g a -> Env g -> Stack a b -> State b
VM : ValS g a -> Env g -> Mark a b -> Stack b c -> State c
AG
решил очередную головоломку
AG
отмасштабировал еще одну нечитабельную залупу
AG
написал короч индексированную машину для CBPV
AG
очередной выпуск секвеньций все ближе
AG
надо провернуть тот же трюк для LJF
AG
можно еще симмонсовщину попробовать добавить
w
можно еще симмонсовщину попробовать добавить
Эх, сча бы добавить
C
data Mark : PTy -> NTy -> Type where
MM : TermC (a::g) b -> Env g -> Mark a b
FM : Mark (D a) a
data State : NTy -> Type where
TM : TermS g a -> Env g -> Stack a b -> State b
VM : ValS g a -> Env g -> Mark a b -> Stack b c -> State c
Красиво, шо
S
/pidor
S
Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!
S
/pidor
S
Я нашел пидора дня, но похоже, что он вышел из этого чата (вот пидор!), так что попробуйте еще раз!