design: type system design #3

Closed

schrottkatze wants to merge 2 commits from (deleted):main into main

pull from: (deleted):main

merge into: katzen-cafe:main

katzen-cafe:main

katzen-cafe:hard-rewrite

katzen-cafe:rpls

Conversation 5 Commits 2 Files changed 1 +36 -3

2 commits

Author	SHA1	Message	Date
Schrottkatze	5b55dd30ab	write some ideas for the type system	2024-01-08 13:43:44 +01:00
Schrottkatze	8ddd1748b8	actually write things	2024-01-01 23:56:31 +01:00