Closed frostburn closed 3 months ago
The new primitive type doesn't solve any problem to justify existence. Let's try to implement respelling with an LLL reduced basis to see if it's worth it.
LLL and other lattice basis stuff can probably fit in xen-dev-utils
. Merging this for now.
Clarify AST hierarchy for cologarithmic nodes. Implement conversion between val formats.
ref #353