Телеграмм чат группы scala_ponv страница 51467

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

473 membersпожаловаться на группу

2021 March 16

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

PCF?

не, именно pcm

источник

17:32пожаловаться #1

AT

Anton Trunov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

или PCM?

источник

17:32пожаловаться #2

AT

Anton Trunov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

ЧКМ?

источник

17:32пожаловаться #3

K

KrivdaTheTriewe in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

источник

17:32пожаловаться #4

K

KrivdaTheTriewe in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

источник

17:32пожаловаться #5

K

KrivdaTheTriewe in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

источник

17:32пожаловаться #6

AT

Anton Trunov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

или что-то другое значит?

источник

17:32пожаловаться #7

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

если записывать линейные термы в ко-дебрейн форме, там нужно указывать как контексты распределяются

источник

17:33пожаловаться #8

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

о

источник

17:33пожаловаться #9

AT

Anton Trunov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

-

источник

17:33пожаловаться #10

M

Marzipan🍰 in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

источник

17:33пожаловаться #11

AT

Anton Trunov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

-o

источник

17:33пожаловаться #12

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

господа логики, расскажите пожалуйста, что такое contraction

источник

17:33пожаловаться #13

(

( in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

как его понять

источник

17:33пожаловаться #14

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

https://github.com/clayrat/refutation/blob/master/src/Lin/TyCheck/TermSp.idr

clayrat/refutation

Refutation and paraconsistent calculi. Contribute to clayrat/refutation development by creating an account on GitHub.

источник

17:33пожаловаться #15

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

https://github.com/clayrat/refutation/blob/master/src/Lin/TyCheck/TermSp.idr

clayrat/refutation

Refutation and paraconsistent calculi. Contribute to clayrat/refutation development by creating an account on GitHub.

а можно рисунок фотографии скриншота?

источник

17:33пожаловаться #16

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

вот эти Split подчиняются законам pcm но они пруф-релевантны

источник

17:34пожаловаться #17

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

нейтралы забыл скопипастить

источник

17:35пожаловаться #18

AG

Alex Gryzlov in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

вот эти Split подчиняются законам pcm но они пруф-релевантны

то есть это не просто прикол, там можно построить натуральную сепарационку поверх них: https://github.com/clayrat/PRSA/blob/master/src/SepLogic.idr

clayrat/PRSA

Proof-relevant separation algebras from Rouvoet et al - clayrat/PRSA

источник

17:36пожаловаться #19

w

welcometotheclubbudd... in ПОКА ОДЕРСКИ НЕ ВИДИТ КАКАЯ ТАЙПЛЕВЕЛ СТЭК КРАСИВАЯ ЗАЛУПА

то есть это не просто прикол, там можно построить натуральную сепарационку поверх них: https://github.com/clayrat/PRSA/blob/master/src/SepLogic.idr

clayrat/PRSA

Proof-relevant separation algebras from Rouvoet et al - clayrat/PRSA

Не читаемо в текстовом виде.

источник

17:36пожаловаться #20