greg
/
schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add note

This commit is contained in:
greg 2018-09-17 00:03:29 -07:00
parent 23c54ae186
commit 7c27cace9f
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
TODO.md
View File

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