| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | feat(eval): implements basic eval filtering | Akshay Nair | 2022-01-08 |
| * | feat(parser): implements or syntax | Akshay Nair | 2022-01-08 |
| * | chore: prettier config change + formatting | Akshay Nair | 2022-01-08 |
| * | refactor: creates constructors for expr adt | Akshay Nair | 2022-01-08 |
| * | refactor: simplifies quantifier logic + moves stuff around | Akshay Nair | 2022-01-07 |
 |
index : elxr | |
| Regular expression-like syntax for list operations |
| aboutsummaryrefslogtreecommitdiff |