Commit babccd06 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 7b6c6ae8
...@@ -2,10 +2,10 @@ ...@@ -2,10 +2,10 @@
TODO (REALLY): TODO (REALLY):
Continue work on BindingFormsUnbound or BindingFormsSimplified. Continue work on BindingFormsUnbound or BindingCombinators.
Think about other approaches to Rec: Think about other approaches to Rec:
- using laziness combined with mutability? might allow a single traversal. - using laziness combined with mutability? might allow a single traversal.
- offering LetRec(p, t, u) as a primitive combinator? - offering DefRec(p, t) as a primitive combinator?
Think about other approaches to repeated names. Think about other approaches to repeated names.
In the end, implement iter, map, endo, iter2. In the end, implement iter, map, endo, iter2.
......
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