/arend-lang.github.io

Arend language website

Primary LanguageHTMLApache License 2.0Apache-2.0

Stargazers