in computer algebra systems, the old tech is to use symbolic pattern matching e.g. Mathematica. New tech is using type theory.
What's example computer algebra software that use type systems instead of symbolic pattern matching?
Home to Producers and Fans of the No Agenda Show Podcast
If you have an issue please DM @[email protected]