aboutsummaryrefslogtreecommitdiff
path: root/src/utils.ts (follow)
Commit message (Expand)AuthorAge
* refactor: type + constructors refactorAkshay Nair2022-01-13
* fix: fixes pattern matching typeAkshay Nair2022-01-08
* feat(eval): implements basic eval filteringAkshay Nair2022-01-08
* chore: prettier config change + formattingAkshay Nair2022-01-08
* refactor: creates constructors for expr adtAkshay Nair2022-01-08
* feat: adds quantifier suffix parsing + recoverInput for combinatorsAkshay Nair2022-01-07
* refactor: minor changesAkshay Nair2022-01-07