[jhales]

This is very cool, but what is the use case?

[DreamScatter]

It is used as a type system for code generation and high performance calculation with discrete differential goemetry sub algebras. More information is at https://grassmann.crucialflow.com or also at https://bivector.net