terranix.org website

Ingolf Wagner e20cbce972 publish version 2.3.0 5 months ago
documentation e20cbce972 publish version 2.3.0 5 months ago
options e20cbce972 publish version 2.3.0 5 months ago
src 95203d6e92 improve options.html 1 year ago
static 0d1742e9c5 add preview on index and documentation section 1 year ago
templates 95203d6e92 improve options.html 1 year ago
.envrc 1748041c2d init 1 year ago
.gitignore e20cbce972 publish version 2.3.0 5 months ago
current-project.nix 1748041c2d init 1 year ago
documentation.markdown 94fd0a0ff2 improved documentation 1 year ago
env.nix 1748041c2d init 1 year ago
index.markdown e20cbce972 publish version 2.3.0 5 months ago
lsp.nix 1748041c2d init 1 year ago
options.markdown 18847a40fb proper options 1 year ago
shell.nix 18847a40fb proper options 1 year ago
site.hs 18847a40fb proper options 1 year ago
terranix-org.cabal 8493725345 small refactorings 1 year ago