[Agda] Using machine integers / Data.Int from Haskell in Agda

[stvienna wiener]

Hi,

I am programming a benchmark in Agda and would like to use machine
integers. I would need bindings similar to Agda.Builtin.Float.

I know there was some Agda library in the past regarding Naturals on
github.com (perhaps from Alan Jeffrey?).

Did anyone use machine integers in Agda and has code? Or at least the link
to the old code on github.

Thanks & cheers,
Stephan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170302/5cb734df/attachment.html>