Skip to content

Replace `num` library by `zarith`

Tomaz Mascarenhas requested to merge replace_num_zarith into dev

This MR replaces the usage of num as a big integer library by zarith. It also adds a new test that checks big int manipulation in CDuce.

Related issue: !26 (merged).

Edited by Tomaz Mascarenhas

Merge request reports