[Agda] is divMod slow?

[Ulf Norell]

On Tue, Jun 20, 2017 at 12:34 PM, Sergei Meshveliani <mechvel at botik.ru>
wrote:

>
> And I need  gcd  on Nat  nearly as fast as in GHC on Integer.
> Or at least, a fast  divMod.
>

agda-prelude also defines a fast certified gcd (in Numeric.Nat.GCD).

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170620/c8ad92f2/attachment.html>