TODO note

This commit is contained in:
greg 2018-04-24 20:31:00 -07:00
parent 00ace0b682
commit 056ca1c162

View File

@ -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