Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом). STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Members
458
Language
Language unspecified
Region
Global
Published
Similar communities worth exploring next.
没钱只能看看你的甜，有钱还能尝尝你的咸；穷能观你肤白貌美，富能让你扇贝吐水！愿你宫不寒，暖棍常相伴，余生爆满浆，走路滴答汤。 图片大部分来自互联网，少部分是自己拍摄。如有侵权请告知。
频道初衷：为朋友提供优质资源，包括不仅限于高速代理，高效插件，优质网站…… 欢迎朋友们关注～ 投稿及合作请联系 @Tgao_bot ！ 交流群： @baipiaosqgroup
分享奇奇怪怪的链接 Public telegram channel invitation for 链接分享 · telegram. The invitation displayed this community when checked.
You can view and join @zxc1017yyfx right away. Public telegram channel invitation for zxc1017yyfx. The invitation displayed this community when checked.
ZUOLUOTV官方频道 TG交流群: t.me/zuoluotv YouTube: zuoluo.tv/youtube 哔哩哔哩: zuoluo.tv/bilibili
feedId:61699763560816640+userId:58148178555204608 Public telegram channel invitation for 最美壁纸 » 每天一张精选壁纸. The invitation displayed this community when checked.