capless-lean/doc/Capless.html at main · Linyxus/capless-lean · GitHub

1
2
3
<html lang="en"><head><meta charset="UTF-8"></meta><meta name="viewport" content="width=device-width, initial-scale=1"></meta><link rel="stylesheet" href="./style.css"></link><link rel="icon" href="./favicon.svg"></link><link rel="mask-icon" href="./favicon.svg" color="#000000"></link><link rel="prefetch" href=".//declarations/declaration-data.bmp" as="image"></link><title>Capless</title><script defer="true" src="./mathjax-config.js"></script><script defer="true" src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script><script defer="true" src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js"></script><script>const SITE_ROOT="./";</script><script>const MODULE_NAME="Capless";</script><script type="module" src="./jump-src.js"></script><script type="module" src="./search.js"></script><script type="module" src="./expand-nav.js"></script><script type="module" src="./how-about.js"></script><script type="module" src="./instances.js"></script><script type="module" src="./importedBy.js"></script></head><body><input id="nav_toggle" type="checkbox"></input><header><h1><label for="nav_toggle"></label><span>Documentation</span></h1><h2 class="header_filename break_within"><span class="name">Capless</span></h2><form id="search_form"><input type="text" name="q" autocomplete="off"></input>&#32;<button id="search_button" onclick="javascript: form.action='./search.html';">Search</button></form></header><nav class="internal_nav"><p><a href="#top">return to top</a></p><p class="gh_nav_link"><a href="vscode://file//Users/linyxus/Workspace/capless-lean/Capless.lean">source</a></p><div class="imports"><details><summary>Imports</summary><ul><li><a href="./Init.html">Init</a></li><li><a href="./Capless/CaptureSet.html">Capless.CaptureSet</a></li><li><a href="./Capless/Context.html">Capless.Context</a></li><li><a href="./Capless/Reduction.html">Capless.Reduction</a></li><li><a href="./Capless/Store.html">Capless.Store</a></li><li><a href="./Capless/Subcapturing.html">Capless.Subcapturing</a></li><li><a href="./Capless/Subtyping.html">Capless.Subtyping</a></li><li><a href="./Capless/Term.html">Capless.Term</a></li><li><a href="./Capless/Type.html">Capless.Type</a></li><li><a href="./Capless/Typing.html">Capless.Typing</a></li><li><a href="./Capless/Inversion/Lookup.html">Capless.Inversion.Lookup</a></li><li><a href="./Capless/Inversion/Subtyping.html">Capless.Inversion.Subtyping</a></li><li><a href="./Capless/Inversion/Typing.html">Capless.Inversion.Typing</a></li><li><a href="./Capless/Soundness/Preservation.html">Capless.Soundness.Preservation</a></li><li><a href="./Capless/Soundness/Progress.html">Capless.Soundness.Progress</a></li><li><a href="./Capless/Renaming/Capture/Subcapturing.html">Capless.Renaming.Capture.Subcapturing</a></li><li><a href="./Capless/Renaming/Capture/Subtyping.html">Capless.Renaming.Capture.Subtyping</a></li><li><a href="./Capless/Renaming/Capture/Typing.html">Capless.Renaming.Capture.Typing</a></li><li><a href="./Capless/Renaming/Term/Subcapturing.html">Capless.Renaming.Term.Subcapturing</a></li><li><a href="./Capless/Renaming/Term/Subtyping.html">Capless.Renaming.Term.Subtyping</a></li><li><a href="./Capless/Renaming/Term/Typing.html">Capless.Renaming.Term.Typing</a></li><li><a href="./Capless/Renaming/Type/Subcapturing.html">Capless.Renaming.Type.Subcapturing</a></li><li><a href="./Capless/Renaming/Type/Subtyping.html">Capless.Renaming.Type.Subtyping</a></li><li><a href="./Capless/Renaming/Type/Typing.html">Capless.Renaming.Type.Typing</a></li><li><a href="./Capless/Subst/Capture/Subcapturing.html">Capless.Subst.Capture.Subcapturing</a></li><li><a href="./Capless/Subst/Capture/Subtyping.html">Capless.Subst.Capture.Subtyping</a></li><li><a href="./Capless/Subst/Capture/Typing.html">Capless.Subst.Capture.Typing</a></li><li><a href="./Capless/Subst/Term/Subcapturing.html">Capless.Subst.Term.Subcapturing</a></li><li><a href="./Capless/Subst/Term/Subtyping.html">Capless.Subst.Term.Subtyping</a></li><li><a href="./Capless/Subst/Term/Typing.html">Capless.Subst.Term.Typing</a></li><li><a href="./Capless/Subst/Type/Subcapturing.html">Capless.Subst.Type.Subcapturing</a></li><li><a href="./Capless/Subst/Type/Subtyping.html">Capless.Subst.Type.Subtyping</a></li><li><a href="./Capless/Subst/Type/Typing.html">Capless.Subst.Type.Typing</a></li></ul></details><details><summary>Imported by</summary><ul id="imported-by-Capless" class="imported-by-list"></ul></details></div></nav><main>
</main>
<nav class="nav"><iframe src="./navbar.html" class="navframe" frameBorder="0"></iframe></nav></body></html>