Closed makrai closed 8 years ago
this PR has to be merged simultaneously with https://github.com/kornai/pymachine/pull/13
replaced by https://github.com/kornai/4lang/pull/120 (with a more meaningful branch name)
this PR has to be merged simultaneously with https://github.com/kornai/pymachine/pull/13