Giters
arend-lang

arend-lang

Geek Repo

0

followers

0

following

0

stars

Github PK Tool:Github PK Tool

arend-lang's repositories

tutorial-code

Source code & exercises in Arend's documentation

License:Apache-2.0Stargazers:21Issues:5Issues:16

arend-contrib

A community driven, semi-official, semi-standard library for Arend

Language:JavaLicense:Apache-2.0Stargazers:8Issues:7Issues:0

site

Arend language website source

Language:SCSSLicense:Apache-2.0Stargazers:3Issues:4Issues:8

arend-lang.github.io

Arend language website

Language:HTMLLicense:Apache-2.0Stargazers:2Issues:4Issues:1

arend-tmbundle

For GitHub linguist's syntax highlighting

License:MITStargazers:2Issues:3Issues:1