| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | docs: interfaces, distinct types, subtyping, and cleanups | JJ | 2023-08-16 |
| | | |||
| * | 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 |