Add some TODO notes that were never checked in.
Chris Pressey
1 year, 6 months ago
| 624 | 624 | fun(e) -> e |
| 625 | 625 | ) |
| 626 | 626 | => [<< a >>,<< b >>] |
| 627 | ||
| 628 | TODO | |
| 629 | ---- | |
| 630 | ||
| 631 | * builtin function `concat` (strings, lists) | |
| 632 | * functions `map`, `fold` (possibly built-in) | |
| 633 | * constructors for syntax (`mk_apply`, `mk_fun`, etc) | |
| 634 | * what would be good would be to genericize the abstract recursive type | |
| 635 | that is used for syntax and for lists currently. |