| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | add basic list primitives | Akshay | 2020-10-15 | 1 | -2/+2 |
| | | |||||
| * | add PBTs for arithmetic operators | Akshay | 2020-10-14 | 1 | -16/+22 |
| | | | | | | - commutativity of addition - commutativity of multiplication | ||||
| * | rework test suite | Akshay | 2020-10-13 | 1 | -7/+17 |
| | | |||||
| * | init | Akshay | 2020-10-08 | 1 | -0/+15 |
 |
index : lisk | |
| an educational lisp interpreter written in haskell |
| aboutsummaryrefslogtreecommitdiff |