index.html

<!DOCTYPE HTML>
<html
  ><head
    ><title
    >/</title
    ><link href="index.css" type="text/css" rel="stylesheet"
    /><link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500;600;700&amp;family=Lato:ital,wght@0,400;0,700;1,400&amp;display=swap"
            type="text/css" rel="stylesheet"
    /><script src="index.js" type="text/javascript"
    /><meta charset="UTF-8"/></head
  ><body
    ><div class="nav-bar"
      ><img src="dhall-icon.svg" class="dhall-icon"
      /><p class="package-title"
      >test-package</p
      ><div class="nav-bar-content-divider"
      /><a id="switch-light-dark-mode" class="nav-option"
      >Switch Light/Dark Mode</a></div
    ><div class="main-container"
      ><h2 class="doc-title"
        ><span class="crumb-divider"
        >/</span
        ><a href="index.html"
        >test-package</a
        ><span class="crumb-divider"
        >/</span
        ><span href="index.html" class="title-crumb"/></h2
      ><a data-path="/" class="copy-to-clipboard"
        ><i
          ><small
          >Copy path to clipboard</small></i></a
      ><br
      /><h3
      >Exported files: </h3
      ><ul
        ><li
          ><a href="ImportAsType.dhall.html"
          >ImportAsType.dhall</a
          ><span class="of-type-token"
          >:</span
          ><span class="dhall-type source-code"
            ><pre
              ><a href="./MarkdownExample.dhall.html"
              >./MarkdownExample.dhall</a
              ><br/></pre></span></li
        ><li
          ><a href="InvalidBlockComment.dhall.html"
          >InvalidBlockComment.dhall</a></li
        ><li
          ><a href="InvalidConsecutiveComments.dhall.html"
          >InvalidConsecutiveComments.dhall</a></li
        ><li
          ><a href="InvalidMarkdown.dhall.html"
          >InvalidMarkdown.dhall</a></li
        ><li
          ><a href="JumpToDefOnUnused.dhall.html"
          >JumpToDefOnUnused.dhall</a></li
        ><li
          ><a href="JumpToHereImports.dhall.html"
          >JumpToHereImports.dhall</a></li
        ><li
          ><a href="JumpToLamBindingComplex.dhall.html"
          >JumpToLamBindingComplex.dhall</a></li
        ><li
          ><a href="JumpToLamBindingSimple.dhall.html"
          >JumpToLamBindingSimple.dhall</a></li
        ><li
          ><a href="JumpToLamBindingWithIndex.dhall.html"
          >JumpToLamBindingWithIndex.dhall</a></li
        ><li
          ><a href="JumpToLamBindingWithQuotes.dhall.html"
          >JumpToLamBindingWithQuotes.dhall</a></li
        ><li
          ><a href="JumpToLamBindingWithShadowing.dhall.html"
          >JumpToLamBindingWithShadowing.dhall</a></li
        ><li
          ><a href="JumpToLetBindingSimple.dhall.html"
          >JumpToLetBindingSimple.dhall</a></li
        ><li
          ><a href="JumpToLetBindingWithIndex.dhall.html"
          >JumpToLetBindingWithIndex.dhall</a></li
        ><li
          ><a href="JumpToLetBindingWithQuotes.dhall.html"
          >JumpToLetBindingWithQuotes.dhall</a></li
        ><li
          ><a href="JumpToLetBindingWithShadowing.dhall.html"
          >JumpToLetBindingWithShadowing.dhall</a></li
        ><li
          ><a href="JumpToLetbindingComplex.dhall.html"
          >JumpToLetbindingComplex.dhall</a></li
        ><li
          ><a href="JumpToRecordFieldWhenFieldDoesNotExist.dhall.html"
          >JumpToRecordFieldWhenFieldDoesNotExist.dhall</a></li
        ><li
          ><a href="JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall.html"
          >JumpToRecordFieldWhenLetAnnotationPresentShouldIgnoreAnnotation.dhall</a></li
        ><li
          ><a href="JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall.html"
          >JumpToRecordFieldWhenVarIsAnnotatedWithRecordType.dhall</a></li
        ><li
          ><a href="JumpToRecordFieldWhenVarIsOfRecordType.dhall.html"
          >JumpToRecordFieldWhenVarIsOfRecordType.dhall</a></li
        ><li
          ><a href="JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall.html"
          >JumpToRecordFieldWhenVarIsOfRecordTypeComplex.dhall</a></li
        ><li
          ><a href="JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall.html"
          >JumpToRecordFieldWhenVarIsOfRecordTypeDeep.dhall</a></li
        ><li
          ><a href="JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall.html"
          >JumpToRecordFieldWhenVarIsOfRecordTypeFromLamBinding.dhall</a></li
        ><li
          ><a href="JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall.html"
          >JumpToRecordFieldWhenVarIsOfRecordTypeOnPunnedEntry.dhall</a></li
        ><li
          ><a href="JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall.html"
          >JumpToRecordFieldWhenVarIsOfRecordTypeTransitivity.dhall</a></li
        ><li
          ><a href="JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall.html"
          >JumpToRecordFieldWhenVarIsOfRecordTypeWithDotSyntax.dhall</a></li
        ><li
          ><a href="JumpToSelf.dhall.html"
          >JumpToSelf.dhall</a></li
        ><li
          ><a href="JumpToUrls.dhall.html"
          >JumpToUrls.dhall</a></li
        ><li
          ><a href="MarkdownExample.dhall.html"
          >MarkdownExample.dhall</a></li
        ><li
          ><a href="MultilineIndentationExample.dhall.html"
          >MultilineIndentationExample.dhall</a
          ><span class="of-type-token"
          >:</span
          ><span class="dhall-type source-code"
            ><pre
              >{}<br/></pre></span></li
        ><li
          ><a href="NoDoc.dhall.html"
          >NoDoc.dhall</a></li
        ><li
          ><a href="NonDhallDocsCommentAfterValid.dhall.html"
          >NonDhallDocsCommentAfterValid.dhall</a></li
        ><li
          ><a href="OrdinaryAnnotation.dhall.html"
          >OrdinaryAnnotation.dhall</a
          ><span class="of-type-token"
          >:</span
          ><span class="dhall-type source-code"
            ><pre
              >Natural<br/></pre></span></li
        ><li
          ><a href="Pair.dhall.html"
          >Pair.dhall</a
          ><span class="of-type-token"
          >:</span
          ><span class="dhall-type source-code"
            ><pre
              >∀(A : Type) → ∀(B : Type) → Type<br/></pre></span></li
        ><li
          ><a href="RenderTypeIndexesExample.dhall.html"
          >RenderTypeIndexesExample.dhall</a
          ><span class="of-type-token"
          >:</span
          ><span class="dhall-type source-code"
            ><pre
              >Bool<br/></pre></span></li
        ><li
          ><a href="TwoAnnotations.dhall.html"
          >TwoAnnotations.dhall</a
          ><span class="of-type-token"
          >:</span
          ><span class="dhall-type source-code"
            ><pre
              >y<br/></pre></span></li
        ><li
          ><a href="package.dhall.html"
          >package.dhall</a></li></ul
      ><h3
      >Exported packages: </h3
      ><ul
        ><li
          ><a href="a/index.html"
          >a/</a></li
        ><li
          ><a href="deep/nested/folder/index.html"
          >deep/nested/folder/</a></li></ul></div></body></html>