Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | add initial support for variable definition | Akshay | 2020-10-16 | 1 | -4/+1 |
| | |||||
* | add basic list primitives | Akshay | 2020-10-15 | 1 | -2/+2 |
| | |||||
* | add PBTs for arithmetic operators | Akshay | 2020-10-14 | 2 | -18/+24 |
| | | | | | - commutativity of addition - commutativity of multiplication | ||||
* | rework test suite | Akshay | 2020-10-13 | 2 | -10/+18 |
| | |||||
* | init | Akshay | 2020-10-08 | 2 | -0/+23 |