diff options
Diffstat (limited to 'Readme.md')
-rw-r--r-- | Readme.md | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/Readme.md b/Readme.md index 54af1049..f1dd1be6 100644 --- a/Readme.md +++ b/Readme.md @@ -403,7 +403,19 @@ c) Try running the tests: d) Check out [the programming environment](https://github.com/akkartik/mu/tree/master/edit#readme), the largest app built so far in Mu. -e) Look at the `build` scripts. Mu's compilation process is itself designed to +e) Check out the tracing infrastructure which gives you a maps-like zoomable +UI for browsing Mu's traces: + + ```shell + $ ./mu --trace nqueens.mu # just an example + saving trace to 'last_run' + $ ./browse_trace/browse_trace last_run + # hit 'q' to exit + ``` + +For more details see the [Readme](browse_trace/Readme.md). + +f) Look at the `build` scripts. Mu's compilation process is itself designed to support staged learning. Each of the scripts (`build0`, `build1`, `build2`, etc.) is self-contained and can compile the project by itself. Successive versions add new features and configurability -- and complexity -- to the |