arend-lang

Results 1 repositories owned by arend-lang

tutorial-code

21
Stars
10
Forks
Watchers

Source code & exercises in Arend's documentation

verified publisher icon arend-lang