| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | docs: add EXAMPLES.md, minor updates | JJ | 2024-05-20 |
| | | |||
| * | docs: update highlighting | JJ | 2024-05-17 |
| | | |||
| * | std: switch from chr to char | JJ | 2024-05-17 |
| | | |||
| * | docs: sweeping changes | JJ | 2024-05-14 |
| | | | | | | | | | - rewrite types section - discuss scope - discuss errors as effects - fix interop misconceptions - various smaller changes | ||
| * | docs: update for previous commit accordingly | JJ | 2024-05-10 |
| | | |||
| * | docs: complete MODULES.md. minor updates elsewhere. prepare for hosting | JJ | 2024-01-28 |
| | | |||
| * | 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 |