From 3b5c6c1179d7c4fdd71eb6c8667f3ae5463fe9a3 Mon Sep 17 00:00:00 2001
From: aaronwinter <eatounno@uwaterloo.ca>
Date: Sun, 25 Jan 2015 08:08:24 -1000
Subject: [PATCH] Added ADT + Memory management

---
 aaronwinter/Dream.md | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 aaronwinter/Dream.md

diff --git a/aaronwinter/Dream.md b/aaronwinter/Dream.md
new file mode 100644
index 0000000..1d22d35
--- /dev/null
+++ b/aaronwinter/Dream.md
@@ -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