From 056ca1c162ca126a6b3caee8e7a7cf7b79d8acfa 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