discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains
https://arend-lang.github.io/
114 comments
6/8/2019
Linking pages
GitHub - prathyvsh/pl-catalog: A catalog of programming languages
https://github.com/prathyvsh/pl-catalog
17 comments