aboutsummaryrefslogtreecommitdiff
path: root/docs
Commit message (Expand)AuthorAge
* minor updatesJJ2023-10-27
* docs: minor module changes, README example, pattern matchingJJ2023-08-17
* docs: interfaces, distinct types, subtyping, and cleanupsJJ2023-08-16
* docs: attempt to define scope (to revisit after implementation)JJ2023-07-25
* docs: forgot about genericsJJ2023-07-25
* docs: import module as nameJJ2023-07-25
* docs: initial formal description of grammar (missing scope)JJ2023-07-25
* docs: flesh out the initial module systemJJ2023-07-24
* begin discussion of advanced types and some minor changesJJ2023-07-12
* move docs into docs folder and update the readmeJJ2023-07-12