Feel free to edit this manual for clarity or completeness. Red links are pages that still need to be created. All new pages should be mentioned somewhere in this outline so that we can produce a printable PDF version in outline order (with section numbers, cross-references, and index). Please describe both current and future features, but clearly indicate when a feature isn't quite working yet or when it's a distant vision.
Every page also has an associated discussion page (see tab at the top), which is useful for user comments and questions. Eventually we will make those comments appear in a less obscure place (at the bottom of the regular page), and be gatewayed to/from a mailing list.
- Why Dyna? What can it do for me?
- Several perspectives on Dyna
- Design principles
- Examples / Screenshots
- Research agenda
- Teaching with Dyna
- FAQ: Frequently asked questions
- Hello world
- Dijkstra's algorithm
- Using the debugger
- Variations on Dijkstra's algorithm
- Controlling the parser
- Training weights
- Dyna language
- Dyna foreign interface (how to use the classes produced by the compiler)