| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | docs: finish overview prose, cleanups to syntax and types | JJ | 2024-01-02 |
| * | 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 |
 |
index : puck | |
| [wip] Some notes on a language with ownership, effects-and-handlers, and hygienic macros. | git daemon user |
| aboutsummaryrefslogtreecommitdiff |