Skip to content

Commit

Permalink
manually add .html files (emanote)
Browse files Browse the repository at this point in the history
  • Loading branch information
srid committed Jan 7, 2022
0 parents commit 13c8a66
Show file tree
Hide file tree
Showing 41 changed files with 32,368 additions and 0 deletions.
997 changes: 997 additions & 0 deletions -/all.html

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions -/export.json
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"version":1,"files":{"builtin-functions.md":{"filePath":"builtin-functions.md","url":"builtin-functions","title":"Plutus Core Builtin Functions Reference","parentNote":"index.md","meta":{"tags":[]},"links":[{"unresolvedRelTarget":{"contents":"./builtin-pairs.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-lists.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-data.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}}]},"assoc.md":{"filePath":"assoc.md","url":"assoc","title":"assoc","parentNote":"index.md","meta":{"tags":[]},"links":[{"unresolvedRelTarget":{"contents":"forwarding1.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"forwarding1","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"DistributedMap.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"DistributedMap","tag":"RRTFound"}}]},"builtin-lists.md":{"filePath":"builtin-lists.md","url":"builtin-lists","title":"Working with Builtin Lists","parentNote":"index.md","meta":{"tags":[]},"links":[{"unresolvedRelTarget":{"contents":"./builtin-pairs.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-functions.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-functions.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-data.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}}]},"uplc.md":{"filePath":"uplc.md","url":"uplc","title":"Untyped Plutus Core","parentNote":"index.md","meta":{"tags":[]},"links":[{"unresolvedRelTarget":{"contents":"builtin-pairs.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"builtin-pairs","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"builtin-lists.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"builtin-lists","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"builtin-functions.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"builtin-functions","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"builtin-data.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"builtin-data","tag":"RRTFound"}}]},"scriptmem.md":{"filePath":"scriptmem.md","url":"scriptmem","title":"Optimizations to reduce CPU and Mem consumption","parentNote":"index.md","meta":{"tags":[]},"links":[]},"vulnerabilities.md":{"filePath":"vulnerabilities.md","url":"vulnerabilities","title":"vulnerabilities","parentNote":"index.md","meta":{"tags":[]},"links":[]},"fundamentals.md":{"filePath":"fundamentals.md","url":"fundamentals","title":"fundamentals","parentNote":"index.md","meta":{"tags":[]},"links":[]},"builtin-data.md":{"filePath":"builtin-data.md","url":"builtin-data","title":"What is Data/BuiltinData?","parentNote":"index.md","meta":{"tags":[]},"links":[{"unresolvedRelTarget":{"contents":"./builtin-pairs.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-lists.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-lists.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-lists.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-lists.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-lists.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-lists.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-functions.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-functions.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}}]},"stick-breaking-set.md":{"filePath":"stick-breaking-set.md","url":"stick-breaking-set","title":"Stick Breaking Set","parentNote":"index.md","meta":{"tags":[]},"links":[]},"user-guide-numeric.md":{"filePath":"user-guide-numeric.md","url":"user-guide-numeric","title":"User guide for plutus-numeric","parentNote":"index.md","meta":{"tags":[]},"links":[]},"builtin-pairs.md":{"filePath":"builtin-pairs.md","url":"builtin-pairs","title":"Working with Builtin Pairs","parentNote":"index.md","meta":{"tags":[]},"links":[{"unresolvedRelTarget":{"contents":"./builtin-lists.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-functions.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-functions.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"./builtin-data.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}}]},"forwarding1.md":{"filePath":"forwarding1.md","url":"forwarding1","title":"forwarding1","parentNote":"index.md","meta":{"tags":[]},"links":[]},"statethread.md":{"filePath":"statethread.md","url":"statethread","title":"statethread","parentNote":"index.md","meta":{"tags":[]},"links":[]},"index.md":{"filePath":"index.md","url":"","title":"Plutonomicon","parentNote":null,"meta":{"tags":[]},"links":[{"unresolvedRelTarget":{"contents":["WikiLinkNormal","README"],"tag":"URTWikiLink"},"resolvedRelTarget":{"contents":"README","tag":"RRTFound"}}]},"cngproof.md":{"filePath":"cngproof.md","url":"cngproof","title":"CnG PToken","parentNote":"index.md","meta":{"tags":[]},"links":[]},"consistency.md":{"filePath":"consistency.md","url":"consistency","title":"Consistency","parentNote":"index.md","meta":{"tags":[]},"links":[]},"size-test.md":{"filePath":"size-test.md","url":"size-test","title":"Staying In Bounds","parentNote":"index.md","meta":{"tags":[]},"links":[{"unresolvedRelTarget":{"contents":"scriptsize.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"fundamentals.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"fundamentals","tag":"RRTFound"}}]},"optimisations.md":{"filePath":"optimisations.md","url":"optimisations","title":"Script optimisations","parentNote":"index.md","meta":{"tags":[]},"links":[]},"forwarding2.md":{"filePath":"forwarding2.md","url":"forwarding2","title":"FLLocked","parentNote":"index.md","meta":{"tags":[]},"links":[]},"numeric.md":{"filePath":"numeric.md","url":"numeric","title":"numeric","parentNote":"index.md","meta":{"tags":[]},"links":[]},"LICENSE.md":{"filePath":"LICENSE.md","url":"LICENSE","title":"The MIT License (MIT)","parentNote":"index.md","meta":{"tags":[]},"links":[]},"README.md":{"filePath":"README.md","url":"README","title":"README","parentNote":"index.md","meta":{"tags":[]},"links":[{"unresolvedRelTarget":{"contents":"vulnerabilities.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"vulnerabilities","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"user-guide-numeric.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"user-guide-numeric","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"stick-breaking-set.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"stick-breaking-set","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"statethread.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"statethread","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"size-test.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"size-test","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"scriptsize.md","tag":"URTResource"},"resolvedRelTarget":{"tag":"RRTMissing"}},{"unresolvedRelTarget":{"contents":"scriptmem.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"scriptmem","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"numeric.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"numeric","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"fundamentals.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"fundamentals","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"forwarding2.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"forwarding2","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"forwarding1.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"forwarding1","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"consistency.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"consistency","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"cngproof.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"cngproof","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"assoc.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"assoc","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"DistributedMap.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"DistributedMap","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"DistributedMap.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"DistributedMap","tag":"RRTFound"}},{"unresolvedRelTarget":{"contents":"DistributedMap.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"DistributedMap","tag":"RRTFound"}}]},"DistributedMap.md":{"filePath":"DistributedMap.md","url":"DistributedMap","title":"Distributed Map","parentNote":"index.md","meta":{"tags":[]},"links":[{"unresolvedRelTarget":{"contents":"assoc.md","tag":"URTResource"},"resolvedRelTarget":{"contents":"assoc","tag":"RRTFound"}}]}}}
156 changes: 156 additions & 0 deletions -/tags.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,156 @@
<html lang='en'>

<head>
<meta charset='UTF-8' />
<meta name='viewport' content='width=device-width, initial-scale=1' />
<title>
Tag Index – Plutonomicon
</title>


<meta property='og:description' content />
<meta property='og:site_name' content='Plutonomicon' />
<meta property='og:type' content='website' />
<meta property='og:title' content='Tag Index' />


<base href='/' />
<link href='logo.png' rel='icon' />

<link href='https://cdn.jsdelivr.net/npm/prismjs@1.23.0/themes/prism-tomorrow.css' rel='stylesheet' />
<script src='https://cdn.jsdelivr.net/combine/npm/prismjs@1.23.0/prism.min.js,npm/prismjs@1.23.0/plugins/autoloader/prism-autoloader.min.js'></script>


<!-- CSSSTART -->
<script type='text/javascript' src='https://cdn.jsdelivr.net/combine/npm/twind/twind.umd.min.js,npm/twind/observe/observe.umd.min.js'></script><script type='text/javascript'>// Be silent to avoid complaining about non-tailwind classes
// https://github.com/tw-in-js/twind/discussions/180#discussioncomment-678272
console.log("ema: Twind: setup & observe")
twind.setup({mode: 'silent'})
window.emaTwindObs = twindObserve.observe(document.documentElement);</script>
<!-- CSSEND -->

<!-- Heist error element -->
<style type='text/css'>
strong.error {
color: lightcoral;
font-size: 90%;
font-family: monospace;
}
</style>
<!-- What goes in this file will appear on near the end of <head>--><link rel='preload' href='_emanote-static/fonts/Maven_Pro/MavenPro-VariableFont_wght.ttf' as='font' type='font/ttf' crossorigin />

<style>
@font-face {
font-family: 'MavenPro';
src: url('_emanote-static/fonts/Maven_Pro/MavenPro-VariableFont_wght.ttf') format("truetype");
font-display: swap;
}

body {
font-family: 'MavenPro', sans-serif;
}

a.mavenLinkBold {
font-variation-settings: 'wght'500;
}

h1,
h2,
h3,
h4,
h5,
h6,
header,
.header-font {
font-family: 'MavenPro', sans-serif;
}
</style>

<head-main></head-main>
</head>

<!-- DoNotFormat -->



<!-- DoNotFormat -->

<body class='bg-gray-400 overflow-y-scroll'>

<div class='container mx-auto '>
<main class='flex-col items-center justify-center mx-2'>
<h1 class='pb-2 mt-2 mb-2 text-6xl text-center'>
Tag Index
</h1>
<div class='flex justify-center items-center mb-2'>
<a target='_blank' class='italic underline' href='https://github.com/srid/emanote/discussions/50'>Experimental
feature</a> !
</div>
<div class='pb-2 mx-auto my-4 lg:max-w-screen-md '>

<div class='bg-gray-200 pb-2'>
<nav id='tagcrumbs' class='w-full pl-2 bg-gray-100'>
<div class='flex items-center justify-left'>
<div class='w-full px-2 py-2 '>
<ul class='flex flex-wrap text-lg'>

<li class='inline-flex items-center text-black'>
<a class='px-1 font-mono'>
/
</a>
</li>
</ul>
</div>
</div>
</nav>
<div class='flex flex-col pl-2 my-4 ml-2 space-y-2'>


</div>
</div>

</div>
</main>
<footer class='flex items-center justify-center mt-2 mb-8 space-x-4 text-center text-gray-800'>

<div>
<a href='' title='Go to Home page'>
<svg xmlns='http://www.w3.org/2000/svg' class='w-6 h-6 hover:text-blue-700' fill='none' viewBox='0 0 24 24' stroke='currentColor'>
<path stroke-linecap='round' stroke-linejoin='round' stroke-width='2' d='M3 12l2-2m0 0l7-7 7 7M5 10v10a1 1 0 001 1h3m10-11l2 2m-2-2v10a1 1 0 01-1 1h-3m-6 0a1 1 0 001-1v-4a1 1 0 011-1h2a1 1 0 011 1v4a1 1 0 001 1m-6 0h6'></path>
</svg>
</a>
</div>
<div>
<a href='-/all' title='View Index'>
<svg class='w-6 h-6 hover:text-blue-700' fill='none' stroke='currentColor' viewBox='0 0 24 24' xmlns='http://www.w3.org/2000/svg'>
<path stroke-linecap='round' stroke-linejoin='round' stroke-width='2' d='M4 8V4m0 0h4M4 4l5 5m11-1V4m0 0h-4m4 0l-5 5M4 16v4m0 0h4m-4 0l5-5m11 5l-5-5m5 5v-4m0 4h-4'>
</path>
</svg>
</a>
</div>
<div>
<a href='https://emanote.srid.ca' target='_blank' title='Generated by Emanote 0.4.3.2'>
<img class='w-6 h-6 hover:text-blue-700' src='_emanote-static/emanote-logo.svg' />
</a>
</div>
<div>
<a href='-/tags' title='View tags'>
<svg class='w-6 h-6 hover:text-blue-700' fill='none' stroke='currentColor' viewBox='0 0 24 24' xmlns='http://www.w3.org/2000/svg'>
<path stroke-linecap='round' stroke-linejoin='round' stroke-width='2' d='M7 7h.01M7 3h5c.512 0 1.024.195 1.414.586l7 7a2 2 0 010 2.828l-7 7a2 2 0 01-2.828 0l-7-7A1.994 1.994 0 013 12V7a4 4 0 014-4z'>
</path>
</svg>
</a>
</div>
<div>
<a href='-/tasks' title='View tasks'>
<svg xmlns='http://www.w3.org/2000/svg' class='w-6 h-6 hover:text-blue-700' fill='none' viewBox='0 0 24 24' stroke='currentColor'>
<path stroke-linecap='round' stroke-linejoin='round' stroke-width='2' d='M9 12l2 2 4-4m6 2a9 9 0 11-18 0 9 9 0 0118 0z'></path>
</svg>
</a>
</div>
</footer>
</div>

</body>

</html>
141 changes: 141 additions & 0 deletions -/tasks.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,141 @@
<html lang='en'>

<head>
<meta charset='UTF-8' />
<meta name='viewport' content='width=device-width, initial-scale=1' />
<title>
Task Index – Plutonomicon
</title>


<meta property='og:description' content />
<meta property='og:site_name' content='Plutonomicon' />
<meta property='og:type' content='website' />
<meta property='og:title' content='Task Index' />


<base href='/' />
<link href='logo.png' rel='icon' />

<link href='https://cdn.jsdelivr.net/npm/prismjs@1.23.0/themes/prism-tomorrow.css' rel='stylesheet' />
<script src='https://cdn.jsdelivr.net/combine/npm/prismjs@1.23.0/prism.min.js,npm/prismjs@1.23.0/plugins/autoloader/prism-autoloader.min.js'></script>


<!-- CSSSTART -->
<script type='text/javascript' src='https://cdn.jsdelivr.net/combine/npm/twind/twind.umd.min.js,npm/twind/observe/observe.umd.min.js'></script><script type='text/javascript'>// Be silent to avoid complaining about non-tailwind classes
// https://github.com/tw-in-js/twind/discussions/180#discussioncomment-678272
console.log("ema: Twind: setup & observe")
twind.setup({mode: 'silent'})
window.emaTwindObs = twindObserve.observe(document.documentElement);</script>
<!-- CSSEND -->

<!-- Heist error element -->
<style type='text/css'>
strong.error {
color: lightcoral;
font-size: 90%;
font-family: monospace;
}
</style>
<!-- What goes in this file will appear on near the end of <head>--><link rel='preload' href='_emanote-static/fonts/Maven_Pro/MavenPro-VariableFont_wght.ttf' as='font' type='font/ttf' crossorigin />

<style>
@font-face {
font-family: 'MavenPro';
src: url('_emanote-static/fonts/Maven_Pro/MavenPro-VariableFont_wght.ttf') format("truetype");
font-display: swap;
}

body {
font-family: 'MavenPro', sans-serif;
}

a.mavenLinkBold {
font-variation-settings: 'wght'500;
}

h1,
h2,
h3,
h4,
h5,
h6,
header,
.header-font {
font-family: 'MavenPro', sans-serif;
}
</style>

<head-main></head-main>
</head>

<!-- DoNotFormat -->



<!-- DoNotFormat -->

<body class='bg-gray-400 overflow-y-scroll'>

<div class='container mx-auto '>
<main class='flex-col items-center justify-center mx-2'>
<h1 class='pb-2 mt-2 mb-2 text-6xl text-center'>
Task Index
</h1>
<div class='flex justify-center items-center mb-2'>
<a target='_blank' class='italic underline' href='https://github.com/srid/emanote/discussions/50'>Experimental
feature</a> !
</div>
<div class='pb-2 mx-auto my-4 lg:max-w-screen-md '>

<div class='w-full bg-gray-300'>
<div class='w-full px-3 py-1'>

</div>
</div>

</div>
</main>
<footer class='flex items-center justify-center mt-2 mb-8 space-x-4 text-center text-gray-800'>

<div>
<a href='' title='Go to Home page'>
<svg xmlns='http://www.w3.org/2000/svg' class='w-6 h-6 hover:text-blue-700' fill='none' viewBox='0 0 24 24' stroke='currentColor'>
<path stroke-linecap='round' stroke-linejoin='round' stroke-width='2' d='M3 12l2-2m0 0l7-7 7 7M5 10v10a1 1 0 001 1h3m10-11l2 2m-2-2v10a1 1 0 01-1 1h-3m-6 0a1 1 0 001-1v-4a1 1 0 011-1h2a1 1 0 011 1v4a1 1 0 001 1m-6 0h6'></path>
</svg>
</a>
</div>
<div>
<a href='-/all' title='View Index'>
<svg class='w-6 h-6 hover:text-blue-700' fill='none' stroke='currentColor' viewBox='0 0 24 24' xmlns='http://www.w3.org/2000/svg'>
<path stroke-linecap='round' stroke-linejoin='round' stroke-width='2' d='M4 8V4m0 0h4M4 4l5 5m11-1V4m0 0h-4m4 0l-5 5M4 16v4m0 0h4m-4 0l5-5m11 5l-5-5m5 5v-4m0 4h-4'>
</path>
</svg>
</a>
</div>
<div>
<a href='https://emanote.srid.ca' target='_blank' title='Generated by Emanote 0.4.3.2'>
<img class='w-6 h-6 hover:text-blue-700' src='_emanote-static/emanote-logo.svg' />
</a>
</div>
<div>
<a href='-/tags' title='View tags'>
<svg class='w-6 h-6 hover:text-blue-700' fill='none' stroke='currentColor' viewBox='0 0 24 24' xmlns='http://www.w3.org/2000/svg'>
<path stroke-linecap='round' stroke-linejoin='round' stroke-width='2' d='M7 7h.01M7 3h5c.512 0 1.024.195 1.414.586l7 7a2 2 0 010 2.828l-7 7a2 2 0 01-2.828 0l-7-7A1.994 1.994 0 013 12V7a4 4 0 014-4z'>
</path>
</svg>
</a>
</div>
<div>
<a href='-/tasks' title='View tasks'>
<svg xmlns='http://www.w3.org/2000/svg' class='w-6 h-6 hover:text-blue-700' fill='none' viewBox='0 0 24 24' stroke='currentColor'>
<path stroke-linecap='round' stroke-linejoin='round' stroke-width='2' d='M9 12l2 2 4-4m6 2a9 9 0 11-18 0 9 9 0 0118 0z'></path>
</svg>
</a>
</div>
</footer>
</div>

</body>

</html>
2 changes: 2 additions & 0 deletions .deploy/github/index.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
template:
baseUrl: /plutonomicon/

0 comments on commit 13c8a66

Please sign in to comment.