Age | Commit message (Expand) | 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 |