Int vs Z vs etc. modules?
Opened this issue · 1 comments
struktured commented
Might be worth functorizing over the numerical type so you can generate different versions of the top level api. (The inner api can be a specific numerical type though if it makes sense, probably zarith as sometimes the calculations exceed int space even if the answer does not).
struktured commented
See #6 as a possible implementation.