christophebiocca / tutorial-code

Source code & exercises in Arend's documentation

https://arend-lang.github.io/documentation/tutorial

Arend Tutorial

Source code & exercises in Arend's tutorial.

Part I

See index.ard and the online tutorial.

About

Source code & exercises in Arend's documentation

https://arend-lang.github.io/documentation/tutorial

Apache License 2.0