| Commit message (Expand) | Author | |
|---|---|---|
| 2022-01-08 | feat(parser): implements or syntax | Akshay Nair |
| 2022-01-08 | refactor: creates constructors for expr adt | Akshay Nair |
| 2022-01-07 | refactor: simplifies quantifier logic + moves stuff around | Akshay Nair |
![]() |
index : elxr | |
| Regular expression-like syntax for list operations |
| aboutsummaryrefslogtreecommitdiff |
| Commit message (Expand) | Author | |
|---|---|---|
| 2022-01-08 | feat(parser): implements or syntax | Akshay Nair |
| 2022-01-08 | refactor: creates constructors for expr adt | Akshay Nair |
| 2022-01-07 | refactor: simplifies quantifier logic + moves stuff around | Akshay Nair |