Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
10 Projects
❯
Recursive Types
❯
Encoding
Folder: 10-Projects/Recursive-Types/Encoding
4 items under this folder.
May 16, 2026
Encoding CP + negative methods
May 16, 2026
Encoding CP + negative types - refined
WIP
May 16, 2026
Encoding CP with distributive recursive types - refined
May 16, 2026
Encoding CP with distributive recursive types