search

advancedresearch / joker_calculus

An implementation of Joker Calculus in Rust
MIT License
5 stars 2 forks source link

Can an order be derived? #11

Open bvssvni opened 2 years ago

bvssvni commented 2 years ago

Related to https://github.com/advancedresearch/joker_calculus/issues/10

The idea is to order expressions, like this:

Seshatism
...
Platonic Seshatism
...
Joker Seshatism
...
Joker Platonism
...
Seshatic Platonism
...
Platonism