equal
deleted
inserted
replaced
78 %FIXME, with one exception: nested recursion. |
78 %FIXME, with one exception: nested recursion. |
79 |
79 |
80 Syntax section: syntax annotations not just for consts but also for constdefs and datatype. |
80 Syntax section: syntax annotations not just for consts but also for constdefs and datatype. |
81 |
81 |
82 Appendix with list functions. |
82 Appendix with list functions. |
|
83 |
|
84 All theory sources on the web? |
83 |
85 |
84 |
86 |
85 Minor additions to the tutorial, unclear where |
87 Minor additions to the tutorial, unclear where |
86 ============================================== |
88 ============================================== |
87 |
89 |