| Commit message (Collapse) | Author | ||
|---|---|---|---|
| 2022-01-14 | refactor: refactors imports + formatting | Akshay Nair | |
| 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 | |
