Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Sequence calculus in miniKanren | stuebinm | 2021-05-19 | 1 | -0/+1 |
| | | | | barfing out tautologies for free! | ||||
* | simple nixos-based live system that runs zoom | stuebinm | 2021-04-13 | 1 | -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 subdirectory | stuebinm | 2021-04-04 | 1 | -5/+0 |
| | |||||
* | proof of concept: age in wasm in a browser | stuebinm | 2021-04-01 | 1 | -0/+5 |