| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | reference types | JJ | 2023-05-24 |
| | | |||
| * | cleaner thoughts on types and create an overview-esque readme | JJ | 2023-05-23 |
| | | |||
| * | some thoughts on a type system | JJ | 2023-01-09 |
 |
index : puck | |
| [wip] Some notes on a language with ownership, effects-and-handlers, and hygienic macros. | git daemon user |
| aboutsummaryrefslogtreecommitdiff |