Algebra.TypeChar.Char
Description
Type level characters. Used for representing the variable name in univariate polynomials.
constructive-algebra-0.1.4: A library of constructive algebra.
Algebra.TypeChar.Char
Description
Type level characters. Used for representing the variable name in univariate polynomials.