465+4
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Ähnliche Kanäle
27028+445
⚠️ Warning: Many users reported this account as a scam or a fake account. Please be careful, especially if it asks you for money.
18855−290
Услуги по продвижению вашего бизнеса: 👉🏻 @advertsale По рекламе на этом канале: 👉🏻 @advertsale Собираем контент с крупных площадок и готовим авторские материалы. Публикуем последние новости и полезные статьи о ведении бизнеса в России и за рубежом.
14372−143
Вьетнам чат форум • Чаты по 140 странам МИРА: @tele_360chat • Анонсы новых групп: @slavianskiy_forum - Реклама: @PR_3600 - Как снять БАН: @unlock_360 - Техподдержка / АДМИНЫ: @FAQ360 ❗️ПРАВИЛА ЧАТА + проверенные люди: telegra.ph/360-10-05
27853−1166
В этом чате можно публиковать вакансии и резюме для жителей Челябинска. 👨🏻💻Админ чата: @Talagaevea
39968+794
Мы — центр по сертификации "Росэксперт". Оформляем сертификацию на любую продукцию и услуги по всей России. ✅ Сертификаты ✅ Декларации ✅ Отказные письма Наш сайт: rosexperts.ru Тел: 8-800-775-27-45 Консультации: @vladimirr_rosexpert_bot
181232−2869
📰 News: @HttpInjector 👥 Group: @HttpInjectorGroup 📱 App: https://goo.gl/3Utyj6 ‼️ Get the app from Play Store to avoid virus in fake apk file ⚠️ Ads/spamming/politic will get you banned
45923+405
Чат для общения на тему трудоустройства в ОАЭ Правила группы: https://t.me/dubaichats8/7 Разместить пост - @oaeinfbot Админ @oaechatbot Все чаты ОАЭ @oae_info
44023+24328
🛍 𝓢𝓐𝓘𝓓𝓐 𝓑𝓛𝓞𝓞𝓜 ✨ 🇹🇷 𝑻𝒖𝒓𝒌𝒊𝒚𝒂𝒅𝒂𝒏 𝒐𝒓𝒊𝒈𝒊𝒏𝒂𝒍 𝒍𝒊𝒃𝒐𝒔𝒍𝒂𝒓 👗 𝑵𝒂𝒇𝒊𝒔 𝒇𝒂𝒔𝒐𝒏𝒍𝒂𝒓, 𝒕𝒆𝒏𝒈𝒊 𝒚𝒐‘𝒒 𝒔𝒊𝒇𝒂𝒕 💎 𝑪𝒉𝒆𝒌𝒍𝒂𝒏𝒈𝒂𝒏 𝒌𝒐𝒍𝒍𝒆𝒌𝒔𝒊𝒚𝒂𝒍𝒂𝒓 📍: Andijon 📞: 𝟗𝟎 𝟐𝟓𝟑 𝟎𝟐 𝟎𝟖 📩: @SaidaDjumabaeva