461−14
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Ähnliche Kanäle
17258−246
🍁گروه آموزش،حل تمرین،پرسش و پاسخ دانشجویی-تبادل جزوه و رفع اشکال🍁 مطالعه قوانین گروه=انضباط و کاهش موارد کلاه برداری مدیر: @Samiiiiiiisd @Exerciseperformer2020 (تبلیغات بدون هماهنگی ممنوع ) ⛔ تبلیغات @Adddmmiiin کانال ما: @manabe_daneshjooi
15041+97
Люди и их питомцы. Общение, обмен опытом. Включен в перечень РКН https://knd.gov.ru/license?id=673b5c909d804a279bbe0fde&registryType=bloggersPermi ssion
21287
Официальный чат Телеканала Царьград. Здесь запрещены: 1. Мат. 2. Оскорбление администрации и подписчиков канала. 3. Размещение ссылок на сторонние ресурсы. 4. Неадекватное поведение Администрация вправе отказать в посещении чата без объяснения причин
20839−65
🔞 Nur für Erwachsene. ⚠️ Dies könnte ein Porno-TG-Kanal sein, er könnte sexuelle Materialien enthalten. Pornografie, Sexszenen, Bilder nackter Menschen oder andere Materialien für Erwachsene.
38135−224
Официальный чат русскоязычного комьюнити Топ-5 криптобиржи Bitget.com Помощь, общение, АМА сессии, конкурсы и новости криптовалют. - Канал анонсов: t.me/BitgetRuNews - CM: @khatriyaTH
184101−1980
📰 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
16697−266
🔴 Хотите разместить вакансию? Присылайте её в готовом виде супер-админу 👇 @VikAadminka