tutorial-code
tutorial-code copied to clipboard
Explain Arend module system and library descriptors
trafficstars
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.