Closed danyaljj closed 5 years ago
Would be nice if we explain this folder in the readme. In particular, we have to define the definition of the syntax in the .logic files.
.logic
solved by #26
Would be nice if we explain this folder in the readme. In particular, we have to define the definition of the syntax in the
.logic
files.