summaryrefslogtreecommitdiff
path: root/examples/03-inductive-data-types
AgeCommit message (Expand)Author
2026-07-14Convert example 03-inductive-data-types to use JUnitMichael Williamson
2026-07-04Execute example Java programsMichael Williamson
2026-07-03Implement From for Rust variantsMichael Williamson
2026-07-03Add constructor functions for Rust enum variantsMichael Williamson
2026-07-03Qualify global pathsMichael Williamson
2026-07-02Handle boxing in Rust outputMichael Williamson
2026-07-02Add inductive data types exampleMichael Williamson