arend-lang / tutorial-code

Source code & exercises in Arend's documentation
21Updated 3 years ago

Related projects

Alternatives and complementary repositories for tutorial-code