∑ XahLeein 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?
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.