DM
HasContext
(который, на сколько я понимаю, не очень обкатан), либо брать Env
, который с ТФ не оч.Size: a a a
DM
HasContext
(который, на сколько я понимаю, не очень обкатан), либо брать Env
, который с ТФ не оч.λ
A
A
AT
ᛒ
w
AT
λ
A
DM
A
AT
A
A
ᛒ
λ
A
DM
KS
HasContext
(который, на сколько я понимаю, не очень обкатан), либо брать Env
, который с ТФ не оч.