| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | basic usage w/o examples | JJ | 2023-07-10 |
| * | 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 |