foreverglade (@foreverglade)

Posted August 8, 2019

0 replies · 0 reposts · 0 likes

Arend is a language based of homotopy type theory being developed by Jetbrains https://arend-lang.github.io/about/arend-features

To use the Gab Social web application, please enable JavaScript. Alternatively, try one of the native apps for Gab Social for your platform.