forked from GitHub/gf-core
130 lines
4.4 KiB
HTML
130 lines
4.4 KiB
HTML
<!DOCTYPE html>
|
||
<html xmlns="http://www.w3.org/1999/xhtml" lang="$lang$" xml:lang="$lang$"$if(dir)$ dir="$dir$"$endif$>
|
||
<head>
|
||
<meta charset="utf-8" />
|
||
<meta name="generator" content="pandoc" />
|
||
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
|
||
$for(author-meta)$
|
||
<meta name="author" content="$author-meta$" />
|
||
$endfor$
|
||
$if(date-meta)$
|
||
<meta name="dcterms.date" content="$date-meta$" />
|
||
$endif$
|
||
$if(keywords)$
|
||
<meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$" />
|
||
$endif$
|
||
<title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title>
|
||
<style type="text/css">
|
||
code{white-space: pre-wrap;}
|
||
span.smallcaps{font-variant: small-caps;}
|
||
span.underline{text-decoration: underline;}
|
||
div.column{display: inline-block; vertical-align: top; width: 50%;}
|
||
$if(quotes)$
|
||
q { quotes: "“" "”" "‘" "’"; }
|
||
$endif$
|
||
</style>
|
||
$if(highlighting-css)$
|
||
<style type="text/css">
|
||
$highlighting-css$
|
||
</style>
|
||
$endif$
|
||
$for(css)$
|
||
<link rel="stylesheet" href="$css$" />
|
||
$endfor$
|
||
<link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.1.3/css/bootstrap.min.css" integrity="sha384-MCw98/SFnGE8fJT3GXwEOngsV7Zt27NXFoaoApmYm81iuXoPkFOJwJ8ERdknLPMO" crossorigin="anonymous">
|
||
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.4.2/css/all.css" integrity="sha384-/rXc/GQVaYpyDdyxK+ecHPVYJSN9bmVFBvjA/9eOB+pb3F2w2N6fc5qB9Ew5yIns" crossorigin="anonymous">
|
||
$if(math)$
|
||
$math$
|
||
$endif$
|
||
<!--[if lt IE 9]>
|
||
<script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
|
||
<![endif]-->
|
||
$for(header-includes)$
|
||
$header-includes$
|
||
$endfor$
|
||
</head>
|
||
<body>
|
||
<div class="container my-5">
|
||
|
||
$if(title)$
|
||
<header id="title-block-header">
|
||
<img src="$rel-root$/doc/Logos/gf1.svg" height="200px" class="float-md-right mb-3 bg-white" alt="GF Logo">
|
||
<h1 class="title">$title$</h1>
|
||
$if(subtitle)$
|
||
<p class="subtitle">$subtitle$</p>
|
||
$endif$
|
||
$for(author)$
|
||
<p class="author">$author$</p>
|
||
$endfor$
|
||
$if(date)$
|
||
<p class="date">$date$</p>
|
||
$endif$
|
||
</header>
|
||
$endif$
|
||
$if(toc)$
|
||
<nav id="$idprefix$TOC">
|
||
$table-of-contents$
|
||
</nav>
|
||
$endif$
|
||
$body$
|
||
</div><!-- .container -->
|
||
|
||
<footer class="bg-light mt-5 py-5">
|
||
<div class="container">
|
||
<div class="row">
|
||
<div class="col-3">
|
||
<a href="$rel-root$">
|
||
<i class="fas fa-home"></i>
|
||
Home
|
||
</a>
|
||
<h6 class="text-muted mt-3">Use</h6>
|
||
<ul class="list-unstyled">
|
||
<li><a href="$rel-root$/demos">Demos</a></li>
|
||
<li><a href="$rel-root$/download">Download GF</a></li>
|
||
</ul>
|
||
</div>
|
||
<div class="col-3">
|
||
<h6 class="text-muted">Documentation</h6>
|
||
<ul class="list-unstyled">
|
||
<li><a href="$rel-root$/doc/gf-shell-reference.html">GF Shell Reference</a></li>
|
||
<li><a href="$rel-root$/lib/doc/synopsis.html">RGL Library Synopsis</a></li>
|
||
<li><a href="$rel-root$/gf-book">The GF Book</a></li>
|
||
<li><a href="$rel-root$/doc/gf-refman.html">Reference Manual</a></li>
|
||
<li><a href="$rel-root$/doc/tutorial/gf-tutorial.html">Tutorial</a></li>
|
||
</ul>
|
||
</div>
|
||
<div class="col-3">
|
||
<h6 class="text-muted">Reference</h6>
|
||
<ul class="list-unstyled">
|
||
<li><a href="http://hackage.haskell.org/package/gf/docs/PGF.html">PGF library API (Haskell runtime)</a></li>
|
||
<li><a href="$rel-root$/doc/runtime-api.html">PGF library API (C runtime)</a></li>
|
||
<li><a href="http://hackage.haskell.org/package/gf/docs/GF.html">GF compiler API</a></li>
|
||
</ul>
|
||
</div>
|
||
<div class="col-3">
|
||
<h6 class="text-muted">
|
||
Repositories
|
||
<i class="fab fa-github"></i>
|
||
</h6>
|
||
<ul class="list-unstyled">
|
||
<li><a href="https://github.com/GrammaticalFramework/gf-core">GF Core</a></li>
|
||
<li><a href="https://github.com/GrammaticalFramework/gf-rgl">RGL</a></li>
|
||
<li><a href="https://github.com/GrammaticalFramework/gf-contrib">Contrib</a></li>
|
||
</ul>
|
||
</div>
|
||
<div>
|
||
<div>
|
||
</footer>
|
||
|
||
<script type="text/javascript">
|
||
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
|
||
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
|
||
</script>
|
||
<script type="text/javascript">
|
||
try {
|
||
var pageTracker = _gat._getTracker("UA-7811807-3");
|
||
pageTracker._trackPageview();
|
||
} catch(err) {}</script>
|
||
</body>
|
||
</html>
|