AC
да, надо написать еще по тому же шаблону
Size: a a a
2021 April 28
AG
тут же есть голосовухи
AC
ну и попробывать сбилдить пакеты внутренним менеджером так чтобы жопа не отвалилась
AC
а жопа отваливается часто и тех кто могут помочь уже с нами нет
R
@haskell_moiseevitch вам понравится ) - http://www.haskell.ru
ХГ
У меня, кстати, так не показывает.
AC
они ушли в другие организации поднимать абстрактные барочные архитекутры
AC
мне кажется последнее время что для айти обилие денег вредно
AG
а я вот за сегодня родил вот такой абзац
case : {-2}_ {-2}_ {-1}_ {-1}_ /ST (erefl (Cpar C1 C2)) (erefl (s, hplus h1 (hplus h2 (hplus hJ hF)))) (erefl c') (erefl ss')=>//.
- move=>????? A DI; case=>E1 E2 EQ E3 _; rewrite E1 EQ in A; rewrite E2 in DI.
rewrite E3 /= E2 envs_app1 // in HS.
rewrite (hplusAC hF) in A; last by apply/hdefC.
exploit H1; first by [exact: A]; try by [].
- by rewrite hdef_hplus2.
- by rewrite hdef_hplus2; split=>//; apply/hdefC.ХГ
Не поверите: ни разу этот сайт не видел.
AC
это как дать художнику полную творческую свободу
AG
так сказать говнопруф
AC
move=>?????
ХГ
Зато видел вот что:
http://hoogle.com/
http://hoogle.com/
AC
хорошо
AC
только у вас тут H1 эксплуатируют
AG
в принципе это можно заменить на
move=>>, но хз, может понадобится потом выкостыливать отдельные аргументыAG
как вот тут например
elim=>//= ? IH C1 s h1 ?? [?][AB1][AC1] H1 C2 h2 ? [?][AB2][AC2] H2 /and3P [WF1 WF2 DJ] HD FV1 ?? FV4 FV5 FV6; do!split=>//.AC
пять знаков вопроса это такой синтаксис?
AG
в начале пруфа тут было 60% ?