Change website to link to `docs.dhall-lang.org` (#1576)
This commit is contained in:
Gabriel Gonzalez
GitHub
parent
2c4edeb0a0
commit
8eb78704d5
|
|
@ -71,21 +71,21 @@
|
|||
|
||||
<div class="collapse navbar-collapse" id="navbarSupportedContent">
|
||||
<ul class="navbar-nav ml-auto">
|
||||
<li class="nav-item mr-3 my-auto"><a href="https://github.com/dhall-lang/dhall-lang/wiki/Getting-started%3A-Generate-JSON-or-YAML" class="btn btn-primary">Get started <i class="fas fa-running"></i></a></li>
|
||||
<li class="nav-item mr-3 my-auto"><a href="https://docs.dhall-lang.org/tutorials/Getting-started_Generate-JSON-or-YAML.html" class="btn btn-primary">Get started <i class="fas fa-running"></i></a></li>
|
||||
<li class="nav-item dropdown">
|
||||
<a class="nav-link dropdown-toggle" href="#" id="discussionDropdown" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false">
|
||||
Discussion
|
||||
</a>
|
||||
<div class="dropdown-menu" aria-labelledby="discussionDropdown">
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Programmable-configuration-files">Programmable configuration files</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/discussions/Programmable-configuration-files.html">Programmable configuration files</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Core-language-features">Core language features</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/discussions/Core-language-features.html">Core language features</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Safety-guarantees">Safety guarantees</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/discussions/Safety-guarantees.html">Safety guarantees</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Dhall-in-production">Dhall in production</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/discussions/Dhall-in-production.html">Dhall in production</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Design-choices">Design choices</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/discussions/Design-choices.html">Design choices</a>
|
||||
</div>
|
||||
</li>
|
||||
<li class="nav-item dropdown">
|
||||
|
|
@ -93,7 +93,7 @@
|
|||
Tutorial
|
||||
</a>
|
||||
<div class="dropdown-menu" aria-labelledby="tutorialDropdown">
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Getting-started%3A-Generate-JSON-or-YAML">Getting started: Generate JSON or YAML</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/tutorials/Getting-started_Generate-JSON-or-YAML.html">Getting started: Generate JSON or YAML</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://learnxinyminutes.com/docs/dhall/">Learn Dhall in Y minutes</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
|
|
@ -105,17 +105,17 @@
|
|||
How-to guides
|
||||
</a>
|
||||
<div class="dropdown-menu" aria-labelledby="howtoDropdown">
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/How-to-integrate-Dhall">How to integrate Dhall</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.html">How to integrate Dhall</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Cheatsheet">Cheatsheet</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/howtos/Cheatsheet.html">Cheatsheet</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Frequently-Asked-Questions-%28FAQ%29">Frequently Asked Questions (FAQ)</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/howtos/FAQ.html">Frequently Asked Questions (FAQ)</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/How-to-translate-recursive-code-to-Dhall">How to translate recursive code to Dhall</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/howtos/How-to-translate-recursive-code-to-Dhall.html">How to translate recursive code to Dhall</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/How-to-add-a-new-built-in-function">How to add a new built-in function</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/howtos/How-to-add-a-new-built-in-function.html">How to add a new built-in function</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/How-to-type-check-and-normalize-incomplete-code">How to type-check and normalize incomplete code</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/howtos/How-to-type-check-and-normalize-incomplete-code.html">How to type-check and normalize incomplete code</a>
|
||||
</div>
|
||||
</li>
|
||||
<li class="nav-item dropdown">
|
||||
|
|
@ -127,7 +127,7 @@
|
|||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/blob/master/standard/README.md">Semantics</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://github.com/dhall-lang/dhall-lang/wiki/Built-in-types%2C-functions%2C-and-operators">Built-in types, functions, and operators</a>
|
||||
<a class="nav-link" href="https://docs.dhall-lang.org/references/Built-in-types.html">Built-in types, functions, and operators</a>
|
||||
<div class="dropdown-divider"></div>
|
||||
<a class="nav-link" href="https://prelude.dhall-lang.org/">Prelude</a>
|
||||
</div>
|
||||
|
|
@ -178,7 +178,7 @@
|
|||
</header>
|
||||
<div class="container">
|
||||
<p class="lead text-center">
|
||||
Dhall is a <a href="https://github.com/dhall-lang/dhall-lang/wiki/Programmable-configuration-files">programmable configuration language</a>
|
||||
Dhall is a <a href="https://docs.dhall-lang.org/discussions/Programmable-configuration-files.html#">programmable configuration language</a>
|
||||
that you can think of as: JSON + functions + types + imports
|
||||
</p>
|
||||
</div>
|
||||
|
|
@ -237,7 +237,7 @@
|
|||
<textarea rows="30" id="highlight0"></textarea>
|
||||
<p>… that you can read directly into several languages or convert to other file formats (including YAML or JSON).</p>
|
||||
<textarea rows="30" id="highlight1"></textarea>
|
||||
<a href="https://github.com/dhall-lang/dhall-lang/wiki/How-to-integrate-Dhall" class="btn btn-lg btn-outline-dark bg-light">Supported integrations <i class="fas fa-cogs" ></i></a>
|
||||
<a href="https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.html" class="btn btn-lg btn-outline-dark bg-light">Supported integrations <i class="fas fa-cogs" ></i></a>
|
||||
</div>
|
||||
<div class="container jumbotron" style="background-color: #cfebfb">
|
||||
<h1 class="display-4">Fearlessly refactor</h1>
|
||||
|
|
@ -268,7 +268,7 @@
|
|||
<p>The language aims to support safely importing and evaluating untrusted
|
||||
Dhall code, even code authored by malicious users. We treat the inability
|
||||
to do so as a specification bug.</p>
|
||||
<a href="https://github.com/dhall-lang/dhall-lang/wiki/Safety-guarantees"class="btn btn-lg btn-outline-dark bg-light">Safety guarantees<i class="fas fa-shield-alt"></i></a>
|
||||
<a href="https://docs.dhall-lang.org/discussions/Safety-guarantees.html"class="btn btn-lg btn-outline-dark bg-light">Safety guarantees<i class="fas fa-shield-alt"></i></a>
|
||||
</div>
|
||||
<div class="container jumbotron" style="background-color: #fbf3c8">
|
||||
<h1 class="display-4">Use programming language features</h1>
|
||||
|
|
@ -290,7 +290,7 @@
|
|||
</div>
|
||||
</div>
|
||||
</div>
|
||||
<a href="https://github.com/dhall-lang/dhall-lang/wiki/Getting-started%3A-Generate-JSON-or-YAML" class="btn btn-lg btn-outline-dark bg-light">Get started <i class="fas fa-running"></i></a>
|
||||
<a href="https://docs.dhall-lang.org/tutorials/Getting-started_Generate-JSON-or-YAML.html" class="btn btn-lg btn-outline-dark bg-light">Get started <i class="fas fa-running"></i></a>
|
||||
</div>
|
||||
<hr class="my-4">
|
||||
<p class="text-center">This work is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by/4.0/">Creative Commons Attribution 4.0 International License</a>.</p>
|
||||
|
|
|
|||
Loading…
Reference in New Issue