[Agda] "abstract," Integer, and errors

Samuel Bronson naesten at gmail.com
Wed Jun 18 03:36:53 CEST 2008


On Tue, Jun 17, 2008 at 10:14 AM, Nils Anders Danielsson
<nils.anders.danielsson at gmail.com> wrote:

> I think that the original idea was to make Z abstract (hiding the
> implementation details, to make it possible to switch to a more
> efficient implementation in the future), but provide some sort of
> generally useful interface. However, I never got this far. You may be
> the first person who have actually used Data.Integer.

I tried once and thought better of it when I realized how little there
was there...


More information about the Agda mailing list