ΛВ
Size: a a a
ΛВ
.
ΛВ
.
DM
V
DM
V
.
V
ΛВ
blabla[F[_] : HasContext[*[_], MyEnv[*]]]
, мол у меня енву фка нужна. В тофу есть чет уже готовое для такого HasContext?.
.
.
Oℕ
blabla[F[_] : HasContext[*[_], MyEnv[*]]]
, мол у меня енву фка нужна. В тофу есть чет уже готовое для такого HasContext?Oℕ
blabla[F[_] : HasContext[*[_], MyEnv[*]]]
, мол у меня енву фка нужна. В тофу есть чет уже готовое для такого HasContext?LP
Oℕ
.