Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-07-12 | i think done HEAD master | tzlil | 1 | -18/+38 |
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 | -0/+63 |