| Commit message (Collapse) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | 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 |