diff --git a/type_classes.md b/type_classes.md index de485ab..a6c0a04 100644 --- a/type_classes.md +++ b/type_classes.md @@ -92,7 +92,7 @@ We can now reimplement `double` using an instance implicit by: # instance : Add Nat where # add := Nat.add # instance : Add Int where -# add := Int.add +# add := Int.mul # instance : Add Float where # add := Float.add def double [Add a] (x : a) : a :=