Commit 6b083d57 authored by Taddeus Kroes's avatar Taddeus Kroes

Added another issue to TODO list.

parent 04152a0a
......@@ -111,3 +111,5 @@ Division of 0 by 1 reduces to 0.
- MESSAGES needs to be expanded.
- Create blacklist of implicit rules that are not printed when '@@@' is issued.
- Use pretty-print for expressions in hint messages.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment