Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2023-07-08 | idk whats fucked D: | tzlil | 1 | -8/+16 | |
2023-07-08 | some bugs to iron out with new normalstep | tzlil | 1 | -39/+81 | |
2023-07-08 | finish untyped | tzlil | 1 | -36/+26 | |
2023-06-20 | base LC, now add types | tzlil | 1 | -0/+73 | |