Skip to content

Commit

Permalink
Deploying to gh-pages from @ 38a45e8 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@MartyO256
MartyO256 committed Dec 21, 2023
1 parent 7d70b01 commit 35bdd13
Show file tree
Hide file tree
Showing 561 changed files with 1,085 additions and 626 deletions.
2 changes: 1 addition & 1 deletion beluga/Beluga/Abstract/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Abstract (beluga.Beluga.Abstract)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.3.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">beluga</a> &#x00BB; <a href="../index.html">Beluga</a> &#x00BB; Abstract</nav><header class="odoc-preamble"><h1>Module <code><span>Beluga.Abstract</span></code></h1><ul class="at-tags"><li class="author"><span class="at-tag">author</span> Brigitte Pientka</li></ul><p>modified: Joshua Dunfield</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-kind"><a href="#type-kind" class="anchor"></a><code><span><span class="keyword">type</span> kind</span><span> = </span></code><ol><li id="type-kind.MMV" class="def variant constructor anchored"><a href="#type-kind.MMV" class="anchor"></a><code><span>| </span><span><span class="constructor">MMV</span> <span class="keyword">of</span> <a href="../../Syncom/Name/index.html#type-t">Beluga_syntax.Name.t</a> * <span><span><a href="../../Synint/LF/index.html#type-iterm">Beluga_syntax.Synint.LF.iterm</a> option</span> <span class="xref-unresolved">Stdlib</span>.ref</span></span></code></li><li id="type-kind.FV" class="def variant constructor anchored"><a href="#type-kind.FV" class="anchor"></a><code><span>| </span><span><span class="constructor">FV</span> <span class="keyword">of</span> <a href="../../Syncom/Name/index.html#type-t">Beluga_syntax.Name.t</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-error"><a href="#type-error" class="anchor"></a><code><span><span class="keyword">type</span> error</span><span> = </span></code><ol><li id="type-error.LeftoverVars" class="def variant constructor anchored"><a href="#type-error.LeftoverVars" class="anchor"></a><code><span>| </span><span><span class="constructor">LeftoverVars</span></span></code></li><li id="type-error.LeftoverConstraints" class="def variant constructor anchored"><a href="#type-error.LeftoverConstraints" class="anchor"></a><code><span>| </span><span><span class="constructor">LeftoverConstraints</span></span></code></li><li id="type-error.CyclicDependency" class="def variant constructor anchored"><a href="#type-error.CyclicDependency" class="anchor"></a><code><span>| </span><span><span class="constructor">CyclicDependency</span> <span class="keyword">of</span> <a href="#type-kind">kind</a></span></code></li><li id="type-error.UnknownIdentifier" class="def variant constructor anchored"><a href="#type-error.UnknownIdentifier" class="anchor"></a><code><span>| </span><span><span class="constructor">UnknownIdentifier</span></span></code></li><li id="type-error.UnknownMTyp" class="def variant constructor anchored"><a href="#type-error.UnknownMTyp" class="anchor"></a><code><span>| </span><span><span class="constructor">UnknownMTyp</span> <span class="keyword">of</span> <a href="../../Syncom/Name/index.html#type-t">Beluga_syntax.Name.t</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-sort"><a href="#type-sort" class="anchor"></a><code><span><span class="keyword">type</span> sort</span><span> = </span></code><ol><li id="type-sort.LFTyp" class="def variant constructor anchored"><a href="#type-sort.LFTyp" class="anchor"></a><code><span>| </span><span><span class="constructor">LFTyp</span> <span class="keyword">of</span> <a href="../../Synint/LF/index.html#type-typ">Beluga_syntax.Synint.LF.typ</a></span></code></li><li id="type-sort.MetaTyp" class="def variant constructor anchored"><a href="#type-sort.MetaTyp" class="anchor"></a><code><span>| </span><span><span class="constructor">MetaTyp</span> <span class="keyword">of</span> <a href="../../Synint/LF/index.html#type-ctyp">Beluga_syntax.Synint.LF.ctyp</a>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Abstract (beluga.Beluga.Abstract)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">beluga</a> &#x00BB; <a href="../index.html">Beluga</a> &#x00BB; Abstract</nav><header class="odoc-preamble"><h1>Module <code><span>Beluga.Abstract</span></code></h1><ul class="at-tags"><li class="author"><span class="at-tag">author</span> Brigitte Pientka</li></ul><p>modified: Joshua Dunfield</p></header><div class="odoc-content"><div class="odoc-spec"><div class="spec type anchored" id="type-kind"><a href="#type-kind" class="anchor"></a><code><span><span class="keyword">type</span> kind</span><span> = </span></code><ol><li id="type-kind.MMV" class="def variant constructor anchored"><a href="#type-kind.MMV" class="anchor"></a><code><span>| </span><span><span class="constructor">MMV</span> <span class="keyword">of</span> <a href="../../Syncom/Name/index.html#type-t">Beluga_syntax.Name.t</a> * <span><span><a href="../../Synint/LF/index.html#type-iterm">Beluga_syntax.Synint.LF.iterm</a> option</span> <span class="xref-unresolved">Stdlib</span>.ref</span></span></code></li><li id="type-kind.FV" class="def variant constructor anchored"><a href="#type-kind.FV" class="anchor"></a><code><span>| </span><span><span class="constructor">FV</span> <span class="keyword">of</span> <a href="../../Syncom/Name/index.html#type-t">Beluga_syntax.Name.t</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-error"><a href="#type-error" class="anchor"></a><code><span><span class="keyword">type</span> error</span><span> = </span></code><ol><li id="type-error.LeftoverVars" class="def variant constructor anchored"><a href="#type-error.LeftoverVars" class="anchor"></a><code><span>| </span><span><span class="constructor">LeftoverVars</span></span></code></li><li id="type-error.LeftoverConstraints" class="def variant constructor anchored"><a href="#type-error.LeftoverConstraints" class="anchor"></a><code><span>| </span><span><span class="constructor">LeftoverConstraints</span></span></code></li><li id="type-error.CyclicDependency" class="def variant constructor anchored"><a href="#type-error.CyclicDependency" class="anchor"></a><code><span>| </span><span><span class="constructor">CyclicDependency</span> <span class="keyword">of</span> <a href="#type-kind">kind</a></span></code></li><li id="type-error.UnknownIdentifier" class="def variant constructor anchored"><a href="#type-error.UnknownIdentifier" class="anchor"></a><code><span>| </span><span><span class="constructor">UnknownIdentifier</span></span></code></li><li id="type-error.UnknownMTyp" class="def variant constructor anchored"><a href="#type-error.UnknownMTyp" class="anchor"></a><code><span>| </span><span><span class="constructor">UnknownMTyp</span> <span class="keyword">of</span> <a href="../../Syncom/Name/index.html#type-t">Beluga_syntax.Name.t</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-sort"><a href="#type-sort" class="anchor"></a><code><span><span class="keyword">type</span> sort</span><span> = </span></code><ol><li id="type-sort.LFTyp" class="def variant constructor anchored"><a href="#type-sort.LFTyp" class="anchor"></a><code><span>| </span><span><span class="constructor">LFTyp</span> <span class="keyword">of</span> <a href="../../Synint/LF/index.html#type-typ">Beluga_syntax.Synint.LF.typ</a></span></code></li><li id="type-sort.MetaTyp" class="def variant constructor anchored"><a href="#type-sort.MetaTyp" class="anchor"></a><code><span>| </span><span><span class="constructor">MetaTyp</span> <span class="keyword">of</span> <a href="../../Synint/LF/index.html#type-ctyp">Beluga_syntax.Synint.LF.ctyp</a>
* <a href="../../Syncom/Plicity/index.html#type-t">Beluga_syntax.Plicity.t</a>
* <a href="../../Syncom/Inductivity/index.html#type-t">Beluga_syntax.Inductivity.t</a></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-marker"><a href="#type-marker" class="anchor"></a><code><span><span class="keyword">type</span> marker</span><span> = </span></code><ol><li id="type-marker.Pure" class="def variant constructor anchored"><a href="#type-marker.Pure" class="anchor"></a><code><span>| </span><span><span class="constructor">Pure</span> <span class="keyword">of</span> <a href="#type-sort">sort</a></span></code></li><li id="type-marker.Impure" class="def variant constructor anchored"><a href="#type-marker.Impure" class="anchor"></a><code><span>| </span><span><span class="constructor">Impure</span></span></code></li></ol></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-free_var"><a href="#type-free_var" class="anchor"></a><code><span><span class="keyword">type</span> free_var</span><span> = </span></code><ol><li id="type-free_var.FDecl" class="def variant constructor anchored"><a href="#type-free_var.FDecl" class="anchor"></a><code><span>| </span><span><span class="constructor">FDecl</span> <span class="keyword">of</span> <a href="#type-kind">kind</a> * <a href="#type-marker">marker</a></span></code></li><li id="type-free_var.CtxV" class="def variant constructor anchored"><a href="#type-free_var.CtxV" class="anchor"></a><code><span>| </span><span><span class="constructor">CtxV</span> <span class="keyword">of</span> <a href="../../Syncom/Name/index.html#type-t">Beluga_syntax.Name.t</a>
* <a href="../../Syncom/Id/index.html#type-cid_schema">Beluga_syntax.Id.cid_schema</a>
Expand Down
2 changes: 1 addition & 1 deletion beluga/Beluga/Apxnorm/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Apxnorm (beluga.Beluga.Apxnorm)</title><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 2.3.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">beluga</a> &#x00BB; <a href="../index.html">Beluga</a> &#x00BB; Apxnorm</nav><header class="odoc-preamble"><h1>Module <code><span>Beluga.Apxnorm</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-P"><a href="#module-P" class="anchor"></a><code><span><span class="keyword">module</span> P</span><span> = <a href="../Prettyint/DefaultPrinter/index.html">Prettyint.DefaultPrinter</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-R"><a href="#module-R" class="anchor"></a><code><span><span class="keyword">module</span> R</span><span> = <a href="../Store/Cid/DefaultRenderer/index.html">Store.Cid.DefaultRenderer</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-RR"><a href="#module-RR" class="anchor"></a><code><span><span class="keyword">module</span> RR</span><span> = <a href="../Store/Cid/NamedRenderer/index.html">Store.Cid.NamedRenderer</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dprintf"><a href="#val-dprintf" class="anchor"></a><code><span><span class="keyword">val</span> dprintf : <span><span><a href="../../Support/Debug/Fmt/index.html#type-fmt">Support.Debug.Fmt.fmt</a> <a href="../../Support/Debug/index.html#type-io">Support.Debug.io</a></span> <a href="../../Support/Debug/index.html#type-io">Support.Debug.io</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dprint"><a href="#val-dprint" class="anchor"></a><code><span><span class="keyword">val</span> dprint : <span><span>(<span>unit <span class="arrow">&#45;&gt;</span></span> string)</span> <a href="../../Support/Debug/index.html#type-io">Support.Debug.io</a></span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-error"><a href="#type-error" class="anchor"></a><code><span><span class="keyword">type</span> error</span><span> = </span></code><ol><li id="type-error.CtxOverGeneral" class="def variant constructor anchored"><a href="#type-error.CtxOverGeneral" class="anchor"></a><code><span>| </span><span><span class="constructor">CtxOverGeneral</span></span></code></li><li id="type-error.IndexInvariantFailed" class="def variant constructor anchored"><a href="#type-error.IndexInvariantFailed" class="anchor"></a><code><span>| </span><span><span class="constructor">IndexInvariantFailed</span> <span class="keyword">of</span> <span><a href="../../Support/Format/index.html#type-formatter">Support.Format.formatter</a> <span class="arrow">&#45;&gt;</span></span> <span>unit <span class="arrow">&#45;&gt;</span></span> unit</span></code></li></ol></div></div><div class="odoc-spec"><div class="spec exception anchored" id="exception-Error"><a href="#exception-Error" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">Error</span> <span class="keyword">of</span> <a href="../../Syncom/Location/index.html#type-t">Beluga_syntax.Location.t</a> * <a href="#type-error">error</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-throw"><a href="#val-throw" class="anchor"></a><code><span><span class="keyword">val</span> throw : <span><a href="../../Syncom/Location/index.html#type-t">Beluga_syntax.Location.t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-error">error</a> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'a</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lengthApxMCtx"><a href="#val-lengthApxMCtx" class="anchor"></a><code><span><span class="keyword">val</span> lengthApxMCtx : <span><span><span class="type-var">'a</span> <a href="../../Synint/LF/index.html#type-ctx">Beluga_syntax.Synint.LF.ctx</a></span> <span class="arrow">&#45;&gt;</span></span> int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-shiftApxTerm"><a href="#val-shiftApxTerm" class="anchor"></a><code><span><span class="keyword">val</span> shiftApxTerm :
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Apxnorm (beluga.Beluga.Apxnorm)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.0"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">beluga</a> &#x00BB; <a href="../index.html">Beluga</a> &#x00BB; Apxnorm</nav><header class="odoc-preamble"><h1>Module <code><span>Beluga.Apxnorm</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec module anchored" id="module-P"><a href="#module-P" class="anchor"></a><code><span><span class="keyword">module</span> P</span><span> = <a href="../Prettyint/DefaultPrinter/index.html">Prettyint.DefaultPrinter</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-R"><a href="#module-R" class="anchor"></a><code><span><span class="keyword">module</span> R</span><span> = <a href="../Store/Cid/DefaultRenderer/index.html">Store.Cid.DefaultRenderer</a></span></code></div></div><div class="odoc-spec"><div class="spec module anchored" id="module-RR"><a href="#module-RR" class="anchor"></a><code><span><span class="keyword">module</span> RR</span><span> = <a href="../Store/Cid/NamedRenderer/index.html">Store.Cid.NamedRenderer</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dprintf"><a href="#val-dprintf" class="anchor"></a><code><span><span class="keyword">val</span> dprintf : <span><span><a href="../../Support/Debug/Fmt/index.html#type-fmt">Support.Debug.Fmt.fmt</a> <a href="../../Support/Debug/index.html#type-io">Support.Debug.io</a></span> <a href="../../Support/Debug/index.html#type-io">Support.Debug.io</a></span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-dprint"><a href="#val-dprint" class="anchor"></a><code><span><span class="keyword">val</span> dprint : <span><span>(<span>unit <span class="arrow">&#45;&gt;</span></span> string)</span> <a href="../../Support/Debug/index.html#type-io">Support.Debug.io</a></span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-error"><a href="#type-error" class="anchor"></a><code><span><span class="keyword">type</span> error</span><span> = </span></code><ol><li id="type-error.CtxOverGeneral" class="def variant constructor anchored"><a href="#type-error.CtxOverGeneral" class="anchor"></a><code><span>| </span><span><span class="constructor">CtxOverGeneral</span></span></code></li><li id="type-error.IndexInvariantFailed" class="def variant constructor anchored"><a href="#type-error.IndexInvariantFailed" class="anchor"></a><code><span>| </span><span><span class="constructor">IndexInvariantFailed</span> <span class="keyword">of</span> <span><a href="../../Support/Format/index.html#type-formatter">Support.Format.formatter</a> <span class="arrow">&#45;&gt;</span></span> <span>unit <span class="arrow">&#45;&gt;</span></span> unit</span></code></li></ol></div></div><div class="odoc-spec"><div class="spec exception anchored" id="exception-Error"><a href="#exception-Error" class="anchor"></a><code><span><span class="keyword">exception</span> </span><span><span class="exception">Error</span> <span class="keyword">of</span> <a href="../../Syncom/Location/index.html#type-t">Beluga_syntax.Location.t</a> * <a href="#type-error">error</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-throw"><a href="#val-throw" class="anchor"></a><code><span><span class="keyword">val</span> throw : <span><a href="../../Syncom/Location/index.html#type-t">Beluga_syntax.Location.t</a> <span class="arrow">&#45;&gt;</span></span> <span><a href="#type-error">error</a> <span class="arrow">&#45;&gt;</span></span> <span class="type-var">'a</span></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-lengthApxMCtx"><a href="#val-lengthApxMCtx" class="anchor"></a><code><span><span class="keyword">val</span> lengthApxMCtx : <span><span><span class="type-var">'a</span> <a href="../../Synint/LF/index.html#type-ctx">Beluga_syntax.Synint.LF.ctx</a></span> <span class="arrow">&#45;&gt;</span></span> int</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-shiftApxTerm"><a href="#val-shiftApxTerm" class="anchor"></a><code><span><span class="keyword">val</span> shiftApxTerm :
<span>int <span class="arrow">&#45;&gt;</span></span>
<span><a href="../../Synapx/LF/index.html#type-normal">Beluga_syntax.Apx.LF.normal</a> <span class="arrow">&#45;&gt;</span></span>
<a href="../../Synapx/LF/index.html#type-normal">Beluga_syntax.Apx.LF.normal</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-shiftApxHead"><a href="#val-shiftApxHead" class="anchor"></a><code><span><span class="keyword">val</span> shiftApxHead :
Expand Down
Loading

0 comments on commit 35bdd13

Please sign in to comment.