 DricomDragon
|
f3c9e4600a
Add a comment with slide number on the first line
|
há 5 anos atrás |
 DricomDragon
|
a7d1edd356
Add an add function which is terminal
|
há 5 anos atrás |
|
DricomDragon
|
517810289f
Implement an 'add' function for Nat
|
há 5 anos atrás |
|
DricomDragon
|
e0265c011e
Add the show method to Nat
|
há 5 anos atrás |
|
DricomDragon
|
715cd0c58c
Add convertor from int to Nat
|
há 5 anos atrás |
|
DricomDragon
|
6e767afd5a
Implement converter from Nat to int
|
há 5 anos atrás |
|
DricomDragon
|
e1135c8da8
Create data Nat
|
há 5 anos atrás |
