terranix.org website

Ingolf Wagner b6bdee1db0 typos typos typos 2 months ago
documentation b6bdee1db0 typos typos typos 2 months ago
options 3e0bc87410 update to 2.2.3 2 months ago
src 95203d6e92 improve options.html 5 months ago
static 0d1742e9c5 add preview on index and documentation section 5 months ago
templates 95203d6e92 improve options.html 5 months ago
.envrc 1748041c2d init 5 months ago
.gitignore 1748041c2d init 5 months ago
current-project.nix 1748041c2d init 5 months ago
documentation.markdown 94fd0a0ff2 improved documentation 5 months ago
env.nix 1748041c2d init 5 months ago
index.markdown b6bdee1db0 typos typos typos 2 months ago
lsp.nix 1748041c2d init 5 months ago
options.markdown 18847a40fb proper options 5 months ago
shell.nix 18847a40fb proper options 5 months ago
site.hs 18847a40fb proper options 5 months ago
terranix-org.cabal 8493725345 small refactorings 5 months ago