version 0.8.14
This commit is contained in:
parent
51850b546a
commit
32b4192b3f
18 changed files with 2213 additions and 1277 deletions
|
|
@ -115,5 +115,5 @@ Version 0.9.x
|
|||
* term rewriting macros
|
||||
* the syntactic distinction between statements and expressions will be
|
||||
removed
|
||||
* forward declarations will likely be removed
|
||||
* the need for forward declarations may be removed
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue