Added ADT + Memory management

This commit is contained in:
aaronwinter
2015-01-25 08:08:24 -10:00
parent c7bfa4cb24
commit 3b5c6c1179
+11
View File
@@ -0,0 +1,11 @@
__#My Dream:
* Algebraic Data Types a la Haskell
Example:
Let's define the set of natural numbers:
Nat = Z | S(Nat) with S being the operation "add one" and Z being zero.
* More freedom / built-in functions for memory management