 DricomDragon
|
a7d1edd356
Add an add function which is terminal
|
%!s(int64=5) %!d(string=hai) anos |
|
DricomDragon
|
517810289f
Implement an 'add' function for Nat
|
%!s(int64=5) %!d(string=hai) anos |
|
DricomDragon
|
e0265c011e
Add the show method to Nat
|
%!s(int64=5) %!d(string=hai) anos |
|
DricomDragon
|
715cd0c58c
Add convertor from int to Nat
|
%!s(int64=5) %!d(string=hai) anos |
|
DricomDragon
|
6e767afd5a
Implement converter from Nat to int
|
%!s(int64=5) %!d(string=hai) anos |
|
DricomDragon
|
e1135c8da8
Create data Nat
|
%!s(int64=5) %!d(string=hai) anos |
