Commit 75337369 authored by Andrei Paskevich's avatar Andrei Paskevich

add in TODO

parent 1c7d6a15
......@@ -8,6 +8,9 @@ syntaxe
sémantique
----------
- env should not contain theories under the null path.
The current implementation of Typing.find_theory is potentially broken.
- should split_goal provide a "right-hand side only split"?
- produce reparsable tasks in Why3 format: how to preserve information about
......
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