Add predefined types for tagged int8 and int16#3347

Merged

jvanburen merged 11 commits intomainfrom tagged-small-ints

Dec 20, 2024

+1,388-439

Commits on Dec 6, 2024

added predefined types for int8 and int16, along with modules for them in Stdlib_beta
jvanburen
committed
fixed many issues with tagged small ints. Fixed printing, fixed gating them on beta extension universe, fixed the tests.
jvanburen
committed
accept unique id diffs
jvanburen
committed

Commits on Dec 12, 2024

Commits on Dec 13, 2024

Commits on Dec 19, 2024

functorized small integer libraries
jvanburen
committed

Commits on Dec 20, 2024