Зависимые типы в массы!
678 members, 266 online
https://t.me/dependent_types
Idris1 online REPL: tio.run/#idris
Topics: dependent types, theorem proving, formal verification. Please refrain from using stickers/memes.
Idris1 online REPL: tio.run/#idris
Topics: dependent types, theorem proving, formal verification. Please refrain from using stickers/memes.
If you have Telegram, you can view and join
Зависимые типы в массы! right away.
Зависимые типы в массы! right away.