465+4
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Canales similares
25469+916
Обсуждаем вечеринки, собираем народ на вечерний движ! 👽 Не знаешь куда пойти вечером? Подпишись на канал @club_moskva и будь в курсе клубной жизни Москвы! Еженедельная публикация более чем из 30 источников! Сотрудничество или ЛС админу ➡️ @Talkme77_bot
54483−441
👑ТЕЛЕФОН АЛДЫ-САТТЫ ОШ👑 ⚜️НОМЕР #1 ГРУППА⚜️ ⬇️КЫРГЫЗСТАН БОЮНЧА⬇️ 🇰🇬🇰🇬🇰🇬🇰🇬🇰🇬🇰🇬🇰🇬🇰🇬🇰🇬🇰🇬🇰🇬🇰🇬 👇👇👇👇👇 ОШ ӨЗГӨН ДЖАЛАЛ-АБАД БАТКЕН НООКАТ АРАВАН БИШКЕК БОЙЛОП ТЕЛЕФОНДОР САТЫЛАТ 👆👆👆👆👆
14624+1039
КАНАЛ: @itsdonetsk БАН: 1. Эротика и порно 2. Флуд/Спам 3. Репосты сторонних каналов 4. Грубые оскорбления в адрес участников
55963−84
#FREEDUROV Unofficial Fans #Dating uk.match.com United Kingdom Great Britain England Ireland Wales Scotland dating site girl matcha London Dublin Birmingham Manchester Midlands Yorkshire Humber North East South West Glasgow #snoopdogg
20991−146
Продажа/покупка зерна, подсолнечника частными лицами. Реклама, ком.предложения, любые услуги, продажа техники,оборудования,удобрений, семян,недвижимости, вакансии, на платной основе! Запрещено размещать ссылки ‼️АДМИН @Irina_admin_tg
62312+1685
Официальный фан-клуб OMODA в России! Официальный сайт: https://omoda.ru/ Онлайн-витрина: https://cars.omoda.ru/ Горячая линия: 8 800 600 1 888 Правила фан-клуба: https://telegra.ph/Pravila-FanKluba-OMODA-10-23
46031−73
Telegram 中文/汉化/知识/教程, 科技, 机场, 科学上网...... 群规: * 禁止谣言、盗版、广告、刷屏 * 禁止谩骂、人身攻击、血腥暴力内容 * 禁止免流、开盒、黑产、灰产、暗网、赌博 * 禁止宗教、政治、键政、黄赌毒、色情及NSFW * 文明交流，违规者将被禁言或封禁 📢Telegram 中文频道 @tgcnz 👥Telegram 中文大群 @tgcnx 👥Telegram 中文二群 @tgzhcn
39789+984
▪️ Круглосуточная дорожная информация в городе Чита: пробки, аварии, посты ДПС, камеры, помощь на дороге и т.д. ▪️ Предложить новость @Zab_robot ▪️ Для сотрудничества @T_G_75
24903+85
Чат для обсуждения @CryptoBot. ⚠️ Наши сотрудники никогда не напишут вам первыми. Остерегайтесь мошенников. Правила чата: t.me/CryptoBotRussian/1880254 Поддержка: @CryptoSupportBot Канал с новостями: @CryptoBotRU