Commit message (Expand) | Author | Age | |
---|---|---|---|
* | chore: change package name | Kristóf Marussy | 2021-10-05 |
* | Small fixes over the project | OszkarSemerath | 2021-09-19 |
* | Change operator for predicate definition | Kristóf Marussy | 2021-07-02 |
* | Fix real literals | Kristóf Marussy | 2021-06-28 |
* | Add scoping tests and simplify implicit nodes | Kristóf Marussy | 2021-06-28 |
* | Simplify project layout | Kristóf Marussy | 2021-06-27 |