search

advancedresearch / joker_calculus

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

Normalize `Seshatic Seshatic X` to `Seshatic X` #23

Closed bvssvni closed 2 years ago

bvssvni commented 2 years ago

Currently, Seshatic Seshatic X does not normalize to Seshatic X.

bvssvni commented 2 years ago