Bruno BELANYI
2600eb2ba7
abacus: bignum: add order comparisons
2021-08-20 22:20:45 +02:00
Bruno BELANYI
17bd51d197
abacus: bignum: add equality comparisons
2021-08-20 22:20:45 +02:00
Bruno BELANYI
2cff603a48
abacus: bignum: add is_canonicalized predicate
...
Useful when debugging.
2021-08-20 22:20:45 +02:00
Bruno BELANYI
12c8b6b114
abacus: add initial bignum library
2021-08-20 22:20:45 +02:00
Bruno BELANYI
ff35faa705
abacus: add parse library
...
Would need some improvements, such as by using the C++ Flex scanner
interface.
It will also need to start using the BigNum once it has been
implemented.
2021-08-20 22:20:45 +02:00
Bruno BELANYI
5b57981af7
abacus: bootstrap build system
2021-08-20 22:20:45 +02:00
Bruno BELANYI