issues
search
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
Updated terminology for binary relations
#1236
Closed
bvssvni
closed
2 years ago
bvssvni
commented
2 years ago
Added "absurve relation"