Skip to content
Release version 0.1.0
This version includes the translation of almost all basic semantics.