William Carroll 5c9079a410 Splice ./universe directory into ./ ... Manually merging: - README.md: I added the description from universe/README.md into the heading of dotfiles/README.md. - .envrc: dotfiles/.envrc was a superset of universe/.envrc - .gitignore: Adding some of the ignored patterns from universe/.gitignore to dotfiles/.gitignore Everything else here should be a simple rename.		2020-01-29 14:43:20 +00:00
..
f-todo.org	Splice ./universe directory into ./	2020-01-29 14:43:20 +00:00
f.hs	Splice ./universe directory into ./	2020-01-29 14:43:20 +00:00
shell.nix	Splice ./universe directory into ./	2020-01-29 14:43:20 +00:00
tests.hs	Splice ./universe directory into ./	2020-01-29 14:43:20 +00:00