| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | docs: minor module changes, README example, pattern matching | JJ | 2023-08-17 |
| | | |||
| * | docs: interfaces, distinct types, subtyping, and cleanups | JJ | 2023-08-16 |
| | | |||
| * | docs: attempt to define scope (to revisit after implementation) | JJ | 2023-07-25 |
| | | |||
| * | docs: forgot about generics | JJ | 2023-07-25 |
| | | |||
| * | docs: import module as name | JJ | 2023-07-25 |
| | | |||
| * | docs: initial formal description of grammar (missing scope) | JJ | 2023-07-25 |
| | | |||
| * | docs: flesh out the initial module system | JJ | 2023-07-24 |
| | | |||
| * | begin discussion of advanced types and some minor changes | JJ | 2023-07-12 |
| | | |||
| * | move docs into docs folder and update the readme | JJ | 2023-07-12 |
 |
index : puck | |
| [wip] Some notes on a language with ownership, effects-and-handlers, and hygienic macros. | git daemon user |
| aboutsummaryrefslogtreecommitdiff |