From 8e42f7e0bc1493cb483607b14b30f7192cb9a6eb Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Tue, 24 Apr 2018 20:31:00 -0700
Subject: [PATCH] TODO note

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

diff --git a/TODO.md b/TODO.md
index fc6c559..8133315 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,6 +1,7 @@
 
 # TODO Items
 
+-should have an Idris-like `cast To From` function
 
 - REPL:
   - want to be able to do things like `:doc Identifier`, and have the language load up these definitions to the REPL