Merge pull request #49 from aaronwinter/master

Added ADT + Memory management
2026-06-05 23:20:18 +00:00 · 2015-01-26 07:53:58 +05:00
parent c7bfa4cb24 3b5c6c1179
commit 30bff3510c
1 changed files with 11 additions and 0 deletions
@@ -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