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