3 Commits

Include renames

Author	SHA1	Message	Date
Krasimir Angelov	85417da2e3	small typo in the documentation	2017-08-24 22:36:55 +02:00
Krasimir Angelov	65037bfe01	more work on the runtime documentation	2017-08-24 22:33:40 +02:00
Krasimir Angelov	a1ff75d208	The documentation for the Python API is now partly ported for Haskell and Java	2017-08-24 18:10:21 +02:00