AG
infixr 1 :->/
(:->/) : {xs, ys : List a} -> Thin xs zs -> Thin ys zs -> Type
(:->/) txz tyz = (txy : Thin xs ys ** CompGraph txy tyz txz)
Size: a a a
2020 May 28
A
infixr 1 :->/
(:->/) : {xs, ys : List a} -> Thin xs zs -> Thin ys zs -> Type
(:->/) txz tyz = (txy : Thin xs ys ** CompGraph txy tyz txz)
why the long face?
ZM
ZM
so loved very charming
C
Оч хочца на js пописать
ZM
но в целом про опрос всё ясно отсюда
ὦ
резкий набег датасаентистов и машинистов?
ZM
надо методу читать, а мне лень
но есть подозрение, что они ни фига не нормируют данные
но есть подозрение, что они ни фига не нормируют данные
C
надо методу читать, а мне лень
но есть подозрение, что они ни фига не нормируют данные
но есть подозрение, что они ни фига не нормируют данные
Да не, не может быть
ZM
и не пойму почему я ни разу не попадал на этот опрос =/
ZM
сасать хацкелль!
AT
Но перл лол
AT
Кто вообще на нем пишет?
ZM
коболистов похоже не опрашивали
ὦ
Кто вообще на нем пишет?
