Commit Graph
4 Commits
Author SHA1 Message Date
Edward KnightandGitHub 90c60c700d Fix minor discrepancy in workshop example (#60)
Map values of `agenda` should have a `name` instead of a `title` to be
consistent with the `TutorialPart` module.

Fixes #11.
2024-02-05 18:08:16 -08:00
Brian PfeilandScott Henson 58e7cc188a taxonomy nesting fix 2024-02-05 14:13:31 +00:00
Philip Hölzenspies 27ecb8c389 Fix tutorial; uninterpreted value 2024-02-05 10:18:57 +00:00
Peter NiederwieserandDan Chao ecad035dca Initial commit 2024-02-01 14:00:22 -08:00