Changes between Version 2 and Version 3 of Natural

Timestamp:

03/01/06 15:27:18 (7 years ago)

Author:

john@…

Comment:

--

Natural

@@ -15 +15 @@
 But what is the value of '''fib (-3)'''?  A runtime stack overflow!  Much better to catch this error at compile time.
 
+== Comment ==
+
+If we do add them, then (a) they should probably be arbitrary in size; and (b) function definitions like fib should *not* be overloaded on Num, but should be monomorphic in Nat.
+
 == Proposal ==