Commit e1ef36a0 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 460baf5a
......@@ -49,6 +49,8 @@ Look at the visitors in Why3.
TODO (POSSIBLY):
Change all of the macros to build objects on the fly instead of using classes?
Avoid reduce, which is not tail recursive.
Use iter in [ba] and [fa].
That should save a constant factor in stack usage?
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