[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