summaryrefslogtreecommitdiff
path: root/.gitignore (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Sequence calculus in miniKanrenstuebinm2021-05-191-0/+1
| | | | barfing out tautologies for free!
* simple nixos-based live system that runs zoomstuebinm2021-04-131-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 ...
* age-wasm: move into subdirectorystuebinm2021-04-041-5/+0
|
* proof of concept: age in wasm in a browserstuebinm2021-04-011-0/+5