summaryrefslogtreecommitdiff
path: root/.gitignore (follow)
Commit message (Expand)AuthorAgeFilesLines
* Sequence calculus in miniKanrenstuebinm2021-05-191-0/+1
* simple nixos-based live system that runs zoomstuebinm2021-04-131-0/+1
* age-wasm: move into subdirectorystuebinm2021-04-041-5/+0
* proof of concept: age in wasm in a browserstuebinm2021-04-011-0/+5