-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
2 lines (2 loc) · 3.29 KB
/
index.html
1
2
<!DOCTYPE HTML>
<html><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no"><title>IdrisDoc Index</title><link type="text/css" rel="stylesheet" href="styles.css"></head><body class="index"><div class="wrapper"><header><strong>IdrisDoc</strong><nav><a href="index.html">Index</a></nav></header><div class="container"><h1>Namespaces</h1><ul class="names"><li><a href="docs/[builtins].html" class="code">[builtins]</a></li><li><a href="docs/Backend.html" class="code">Backend</a></li><li><a href="docs/Backend.Decl.html" class="code">Backend.Decl</a></li><li><a href="docs/Backend.Haskell.html" class="code">Backend.Haskell</a></li><li><a href="docs/Backend.ReasonML.html" class="code">Backend.ReasonML</a></li><li><a href="docs/Builtins.html" class="code">Builtins</a></li><li><a href="docs/Control.Monad.State.html" class="code">Control.Monad.State</a></li><li><a href="docs/Data.NEList.html" class="code">Data.NEList</a></li><li><a href="docs/Decidable.Equality.html" class="code">Decidable.Equality</a></li><li><a href="docs/FFI.html" class="code">FFI</a></li><li><a href="docs/FFI_C.html" class="code">FFI_C</a></li><li><a href="docs/ForeignEnv.html" class="code">ForeignEnv</a></li><li><a href="docs/Language.Reflection.html" class="code">Language.Reflection</a></li><li><a href="docs/Language.Reflection.Elab.html" class="code">Language.Reflection.Elab</a></li><li><a href="docs/Language.Reflection.Errors.html" class="code">Language.Reflection.Errors</a></li><li><a href="docs/Parse.html" class="code">Parse</a></li><li><a href="docs/Prelude.Algebra.html" class="code">Prelude.Algebra</a></li><li><a href="docs/Prelude.Basics.html" class="code">Prelude.Basics</a></li><li><a href="docs/Prelude.Bool.html" class="code">Prelude.Bool</a></li><li><a href="docs/Prelude.Either.html" class="code">Prelude.Either</a></li><li><a href="docs/Prelude.File.html" class="code">Prelude.File</a></li><li><a href="docs/Prelude.Foldable.html" class="code">Prelude.Foldable</a></li><li><a href="docs/Prelude.Functor.html" class="code">Prelude.Functor</a></li><li><a href="docs/Prelude.Interfaces.html" class="code">Prelude.Interfaces</a></li><li><a href="docs/Prelude.List.html" class="code">Prelude.List</a></li><li><a href="docs/Prelude.Maybe.html" class="code">Prelude.Maybe</a></li><li><a href="docs/Prelude.Monad.html" class="code">Prelude.Monad</a></li><li><a href="docs/Prelude.Nat.html" class="code">Prelude.Nat</a></li><li><a href="docs/Prelude.Pairs.DPair.html" class="code">Prelude.Pairs.DPair</a></li><li><a href="docs/Prelude.Show.html" class="code">Prelude.Show</a></li><li><a href="docs/Prelude.Stream.html" class="code">Prelude.Stream</a></li><li><a href="docs/TParsec.Result.html" class="code">TParsec.Result</a></li><li><a href="docs/TParsec.Success.html" class="code">TParsec.Success</a></li><li><a href="docs/TParsec.Types.html" class="code">TParsec.Types</a></li><li><a href="docs/TParsec.Types.Parameters.html" class="code">TParsec.Types.Parameters</a></li><li><a href="docs/TermParse.html" class="code">TermParse</a></li><li><a href="docs/TermWrite.html" class="code">TermWrite</a></li><li><a href="docs/Test.Typedefs.html" class="code">Test.Typedefs</a></li><li><a href="docs/Types.html" class="code">Types</a></li></ul></div></div><footer>Produced by IdrisDoc version 1.0</footer></body></html>