Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2024-07-10 | huh, forgot to commit this for a whileHEADmain | stuebinm | 1 | -8/+9 | |
2023-10-30 | some improvements & fixes | stuebinm | 1 | -5/+5 | |
2023-07-02 | disable spell checking, it's annoying | stuebinm | 1 | -1/+1 | |
2022-12-06 | udpate stuff | stuebinm | 1 | -14/+21 | |
2022-03-17 | add agda | stuebinm | 1 | -1/+1 | |