A research project in path semantics, a re-interpretation of functions for expressing mathematics
Primary LanguageRustMIT LicenseMIT