summaryrefslogtreecommitdiff
path: root/.gitignore (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-05-19Sequence calculus in miniKanrenstuebinm1-0/+1
barfing out tautologies for free!
2021-04-13simple nixos-based live system that runs zoomstuebinm1-0/+1
the nixos-installer is non writable by default, so this is basically a completely stateless system that can run any software which I don't normally want to run (with some exceptions), but still frequently need for some reason ...
2021-04-04age-wasm: move into subdirectorystuebinm1-5/+0