public

Типы в языках программирования, моделирования, представления знаний и жизни

461−14

Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.

Open

#Sohbetler

Benzer kanallar

public

BaaSid_EN(Global)

15940−144

Announcement Channel: https://t.me/baasidnotice QnA: https://t.me/Bigbaas100 Community Channel: Telegram_EN : t.me/BaaSidOfficial Telegram_CN : t.me/BaaSid_cn Telegram_KR : t.me/BaaSid_KR

#Sohbetler

public

CHUST REKLAMA VA E‘LONLAR MARKAZI

15692+3496

Ассалому алейкум ЧУСТликлар! Сиз уй-жой, автомобил, техника, савдо сотиг, вахо-казо элонлар , реклама жойлашингиз мумкин ☎️Мурожат учун👉 @Chust_Reklama_Admini 👈 💰 Реклама учун 👉 @Reklama_Admini_1 👈

#Uzbek channels #Sohbetler

public

Team Anthro-Mohan(UPSC)

20574−109

The one-stop solution for everything related to UPSC Anthropology Optional . Join group links Main group - https://t.me/Anthropology_optional Answer writing group - https://t.me/teamanthroanswer

#Sohbetler

public

Qmaths (Official Group)

42648+80

Welcome to www.qmaths.in official telegram group. Channel: @qmaths Join 🔜 Maths: @MathsNinja Join 🔜 English: @QmathsEnglish Join 🔜 GK: @QmathsGK

#Sohbetler

public

Fasttoken Community 🇬🇧

81157−1513

⚡️ Welcome to Fasttoken Chat English! ⚠️ Respond to Combot to Join. Follow our News Channel 👇https://t.me/fasttoken_news Other chats: Українська - @Fasttoken_UA 🇺🇦 Türkçe - @Fasttoken_Turkey 🇹🇷 СНГ - @Fasttoken_CIS 🌐 https://linktr.ee/fasttoken

#Sohbetler

public

ОБЪЯВЛЕНИЯ ТЮМЕНЬ

16816−136

Охват более 20.000 строителей и партнеров в регионе! Ссылка Роскомнадзора https://knd.gov.ru/license? id=67320f8b8a5fe04ef 📝Для согласования вашего объявления и корректного размещения пишите админам ✅ @kazak0vas ✅ @valeriykazakov

#Sohbetler

public

Terra Classic - $LUNC

52948−451

The Telegram Group Chat for Terra Classic Rules: https://terra.sc/rules Discord: https://terra.sc/classicdiscord Twitter: https://twitter.com/terraC_money $LUNA chat: https://t.me/TerraNetworkLobby

#Sohbetler

public

Мониторинг сахара-решение проблем

17579−18

Чат 🇺🇦 t.me/Diabet_Ukraine 🇷🇺 t.me/Diabet_Help Дети t.me/DiaKids Библиотека t.me/Diabet_gram Loop t.me/LoopAPS OpenAPS t.me/My_OpenAPS AndroidAPS t.me/AndroidAPSGroup Диатовары 🇺🇦 t.me/DiaLavka 🇷🇺 t.me/Diabet_Sale Помпа https://t.me/insulin_pumps

#Sohbetler

public

AdGuard Chat [RU]

21007+2975

Обсуждение продуктов AdGuard Наш канал: @adguardru Это - не чат поддержки, за ней обращайтесь пожалуйста по адресу support@adguard.com Сообщить о пропущенной рекламе: https://agrd.io/report English chat: @adguard_en Chinese chat: @AdGuard_chinese

#Mobile #Sohbetler