This implementation closes #51. Apart from checking the correctness of the code, I’d appreciate if you took a look at the changed documentation. In particular the “Interface” & “Some language definitions” sections of the documentation have been updated with the new entries from the “wip” section and formatted accordingly. Let me know whether this looks good to you or if you have any suggestions/wishes for changes.
This implementation closes #51. Apart from checking the correctness of the code, I’d appreciate if you took a look at the changed documentation. In particular the “Interface” & “Some language definitions” sections of the documentation have been updated with the new entries from the “wip” section and formatted accordingly. Let me know whether this looks good to you or if you have any suggestions/wishes for changes.