This repository is currently not under development and incomplete. It was formed from the union of three smaller repositories, now housed in the core, engine, and app folders of
this repository. For that reason, you might find some pieces of the
documentation that haven't yet been updated to account for the fact that we have
merged everything into one repository, but that may improve with time.
The official Lurch repository is at lurch.plus. Developers and instructors interested in using Lurch or adding features should fork that repository as it is the most up to date.