Currently, operations on unsigned integers are implemented recursively.
The task is to optimise the unsigned integers module (include/metalang99/uint.h), e.g. make fewer reduction steps. Maybe it would be better to deal with digits (the usual way of calculating) instead of Peano arithmetic.
Currently, operations on unsigned integers are implemented recursively.
The task is to optimise the unsigned integers module (
include/metalang99/uint.h
), e.g. make fewer reduction steps. Maybe it would be better to deal with digits (the usual way of calculating) instead of Peano arithmetic.