tutorial-code icon indicating copy to clipboard operation
tutorial-code copied to clipboard

Published 20 hours ago • verified publisher icon arend-lang
→

Metadata

Source code & exercises in Arend's documentation

Arend Tutorial

Source code & exercises in Arend's tutorial.

Part I

See index.ard and the online tutorial.

← Metadata

21
Stars
10
Forks
Watchers

Owner

verified publisher icon arend-lang

Metadata

Source code & exercises in Arend's documentation

Back