aboutsummaryrefslogtreecommitdiff
path: root/lisk.cabal
Commit message (Collapse)AuthorAgeFilesLines
* refactor internal datatypes to BaseAkshay2020-10-231-0/+1
| | | | | - avoids cyclic module dependencies - cleaner exports to Main module
* add initial support for variable definitionAkshay2020-10-161-0/+1
|
* add PBTs for arithmetic operatorsAkshay2020-10-141-3/+3
| | | | | - commutativity of addition - commutativity of multiplication
* rework test suiteAkshay2020-10-131-8/+4
|
* allow multiline expressionspretty-errorsAkshay2020-10-131-1/+2
|
* use mtl to generate errorsAkshay2020-10-091-1/+3
|
* initAkshay2020-10-081-0/+55