Skip to content

Implement algebraic type operations with Chinese character metaphors and set theory - #10

Draft
ewdlop with Copilot wants to merge 5 commits into
mainfrom
copilot/resolve-canje-sum-types
Draft

Implement algebraic type operations with Chinese character metaphors and set theory#10
ewdlop with Copilot wants to merge 5 commits into
mainfrom
copilot/resolve-canje-sum-types

Fix Von Neumann ordinals representation to correctly model set contai…

d7e32be
Select commit
Loading
Failed to load commit list.

There are no checks for this commit