From dae619c6faffdbccd73bd0a56f7e99d8a7a8e504 Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Mon, 12 Aug 2019 11:40:31 -0700
Subject: [PATCH] Add notes

---
 TODO.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/TODO.md b/TODO.md
index f2856e1..75cf39e 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,7 +1,12 @@
 # TODO items
 
+## Reduction
+ - make a good type for actual language builtins to avoid string comparisons
+
 ## Typechecking
 
+- make a type to represent types rather than relying on string comparisons
+
 - look at https://rickyhan.com/jekyll/update/2018/05/26/hindley-milner-tutorial-rust.html
 
 - cf. the notation mentioned in the cardelli paper, the debug information for the `typechecking` pass should