| Commit message (Expand) | Author | |
|---|---|---|
| 2022-01-13 | refactor: type + constructors refactor | Akshay Nair |
| 2022-01-08 | fix: fixes pattern matching type | Akshay Nair |
| 2022-01-08 | feat(eval): implements basic eval filtering | 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-07 | feat: adds quantifier suffix parsing + recoverInput for combinators | Akshay Nair |
| 2022-01-07 | refactor: minor changes | Akshay Nair |
