| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
| summaryrefslogtreecommitdiff |