From 7c27cace9f0986284972f4fb9f41e034de76c238 Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Mon, 17 Sep 2018 00:03:29 -0700
Subject: [PATCH] Add note

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

diff --git a/TODO.md b/TODO.md
index 0010990..c387b58 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,6 +1,8 @@
 
 # TODO Items
 
+-make sure to include a :doc command at the REPL that can interface with a lang in a generic way
+
 - a subtype is a situation where the compiler is entitled to add a type conversion in the type-checking process
 b/c that type conversion doesn't correspond to a computation 
     -Sergei W.