Use a package
Install the neighboring arithmetic package and import it through a local alias.
Start with the project overview, then open an operation’s sequence or explanation. Source stays beside its spec when you need to inspect an expression. Choose Indentation or Braces for that code view; the choice carries across files.
Explore the generated project diagrams to follow data between folders, then open module interactions and API sequences.
Project files
Try this project
Download this project, then extract the archive in an empty working folder. It contains source, configuration, and compiled specs. Both the application and its neighboring arithmetic library are included. Install August once, then run these commands. Native libraries are prepared automatically when needed:
sh
cd packages-app/app
aug install . --offline
aug check .
aug spec .
aug run .