Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-08-28 | added flexible numerical constants | Leo Tenenbaum | |
2019-08-28 | Improved types (now gives error when you annotate the wrong type) | Leo Tenenbaum | |
2019-08-28 | cleaned up code; fixed some function stuff | Leo Tenenbaum | |