Explain Arend module system and library descriptors

arend-lang / tutorial-code

Source code & exercises in Arend's documentation

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

Apache License 2.0

21 stars 9 forks source link

Explain Arend module system and library descriptors #7

Open sxhya opened 1 year ago

sxhya commented 1 year ago

It would be nice to explain how the user can connect arend-lib to the tutorial code. Explain in accessible way the format of a arend.yaml files. What is the difference between Arend library/Arend module in Project settings dialog window.