advancedresearch / path_semantics

A research project in path semantics, a re-interpretation of functions for expressing mathematics
MIT License
160 stars 13 forks source link

Improved rules in Joker Calculus #1318

Closed bvssvni closed 9 months ago

bvssvni commented 9 months ago

See https://github.com/advancedresearch/joker_calculus/issues/64 and https://github.com/advancedresearch/joker_calculus/issues/66