arend-lang

Pinned Repositories

arend-contrib
A community driven, semi-official, semi-standard library for Arend
Language:Java8 7 00
arend-lang.github.io
Arend language website
Language:HTML2 4 10
arend-tmbundle
For GitHub linguist's syntax highlighting
2 3 10
site
Arend language website source
Language:HTML4 4 89
tutorial-code
Source code & exercises in Arend's documentation
21 5 169

arend-lang's Repositories

arend-lang/tutorial-code
Source code & exercises in Arend's documentation
21 5 169
arend-lang/arend-contrib
A community driven, semi-official, semi-standard library for Arend
Language:Java8 7 00
arend-lang/site
Arend language website source
Language:HTML4 4 89
arend-lang/arend-lang.github.io
Arend language website
Language:HTML2 4 10
arend-lang/arend-tmbundle
For GitHub linguist's syntax highlighting
2 3 10