From fa8bb975614b5da3eb358598a1fa379911900f0d Mon Sep 17 00:00:00 2001
From: JJ
Date: Wed, 22 Nov 2023 21:49:50 -0800
Subject: meow

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

(limited to 'computation/types.md')

diff --git a/computation/types.md b/computation/types.md
new file mode 100644
index 0000000..2edfe7c
--- /dev/null
+++ b/computation/types.md
@@ -0,0 +1,11 @@
+# types! ah, wonderous types!
+
+## Resources
+
+- *Types and Programming Languages* by Benjamin C. Pierce
+
+## algebraic data types
+
+## inductive types
+- https://en.wikipedia.org/wiki/Inductive_type
+
-- 
cgit v1.2.3-70-g09d2