arend-lang.github.io/assets/lang-paper.pdf

Preview meta tags from the arend-lang.github.io website.