Giters

arend-lang / arend-lang.github.io

Arend language website

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Arend language website

The source of the site is here.

About

Arend language website

License:Apache License 2.0

Languages

Language:HTML 58.0%Language:JavaScript 42.0%Language:CSS 0.0%