This project is the generator of scala model (classes and verifications) of the Definiti language.
Its objective is to take the Definiti AST and convert into a scala AST.
It is a plugin of the Definiti language, used in definiti-core.
If you want to use the language, please go to: https://definiti.github.io/ This project is the implementation of the scala model generator, not the whole system.
Clone the repository:
$ git clone [email protected]:definiti/definiti-scala-model.gitGo into the project and launch sbt:
$ cd definiti-scala-model
$ sbt test
It will compile the project and run tests.
If you want to know the roadmap or contribute to the project, please see Issues and Projects.
If you want more information about the whole project, please go to the project website