advancedresearch / path_semantics

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

Added `1 1 x => 1 x` and `0 0 x => 0 x` #1150

Closed bvssvni closed 2 years ago