Commit message (Expand) | Author | Age | |
---|---|---|---|
* | feat(language): problem desugaring | Kristóf Marussy | 2022-09-19 |
* | refactor: direct predicates | Kristóf Marussy | 2022-08-01 |
* | refactor: simplify language project | Kristóf Marussy | 2022-07-29 |
index : refinery | ||
Mirror of https://github.com/graphs4value/refinery | Graphs4Value |
aboutsummaryrefslogtreecommitdiffstats |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | feat(language): problem desugaring | Kristóf Marussy | 2022-09-19 |
* | refactor: direct predicates | Kristóf Marussy | 2022-08-01 |
* | refactor: simplify language project | Kristóf Marussy | 2022-07-29 |