#
arend
Here are 11 public repositories matching this topic...
Source code & exercises in Arend's documentation
-
Updated
Jul 19, 2021
-
Updated
Dec 17, 2018
For GitHub linguist's syntax highlighting
-
Updated
Jul 7, 2020
Unofficial syntax highlighting for the Arend Language for the Kakoune editor
-
Updated
Jan 12, 2021
Solved exercises of the Arend tutorial (https://arend-lang.github.io/documentation/tutorial)
-
Updated
Jul 9, 2020
Improve this page
Add a description, image, and links to the arend topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the arend topic, visit your repo's landing page and select "manage topics."