| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-07-31 | Support singleton structs | Michael Williamson | |
| 2026-07-14 | Rename java-junit to java | Michael Williamson | |
| 2026-07-14 | Convert example 04-enum to use JUnit | Michael Williamson | |
| 2026-07-02 | Add inductive data types example | Michael Williamson | |
