Created
September 9, 2013 06:30
-
-
Save tsdh/6492130 to your computer and use it in GitHub Desktop.
The result of exporting https://gist.github.com/tsdh/6492120 to html using org-reveal.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <link rel="stylesheet" href="file:///home/horn/Repos/js/reveal.js/css/print/pdf.css" type="text/css" media="print"> | |
| </head> | |
| <body> | |
| <div class="reveal"> | |
| <div class="slides"> | |
| <section> | |
| <h1>This is the title</h1> | |
| <h2>Tassilo Horn</h2> | |
| <h2><a href="mailto:me@home">me@home</a></h2> | |
| <h2></h2></section> | |
| <section> | |
| <h2>Table of Contents</h2><ul> | |
| <li> | |
| <a href="#sec-1">Ex.: Relational Querying</a> | |
| </li> | |
| </ul> | |
| </section> | |
| <section> | |
| <section id="sec-1" > | |
| <h2><span class="section-number-2">1</span> Ex.: Relational Querying</h2> | |
| <div class="org-src-container"> | |
| <pre class="src src-clojure">(<span style="color: #20b2aa; font-weight: bold;">defn</span> <span style="color: #00ff7f;">grandparento</span> [model grandparent grandchild] | |
| (fresh [child] | |
| (+->children model grandparent child) | |
| (+->children modes child grandchild))) | |
| </pre> | |
| </div> | |
| <table border="2" cellspacing="0" cellpadding="6" rules="groups" frame="hsides"> | |
| <colgroup> | |
| <col class="left" /> | |
| <col class="left" /> | |
| <col class="left" /> | |
| </colgroup> | |
| <thead> | |
| <tr> | |
| <th scope="col" class="left">grandparent</th> | |
| <th scope="col" class="left">grandchild</th> | |
| <th scope="col" class="left">semantics</th> | |
| </tr> | |
| </thead> | |
| <tbody> | |
| <tr> | |
| <td class="left">ground</td> | |
| <td class="left">ground</td> | |
| <td class="left">predicate</td> | |
| </tr> | |
| <tr> | |
| <td class="left">ground</td> | |
| <td class="left">fresh</td> | |
| <td class="left">all grandchildren of grandparent</td> | |
| </tr> | |
| <tr> | |
| <td class="left">fresh</td> | |
| <td class="left">ground</td> | |
| <td class="left">all grandparents of grandchild</td> | |
| </tr> | |
| <tr> | |
| <td class="left">fresh</td> | |
| <td class="left">fresh</td> | |
| <td class="left">all grandparents with all their grandchildren</td> | |
| </tr> | |
| </tbody> | |
| </table> | |
| </section> | |
| </section> | |
| </div> | |
| </div> | |
| <script src="file:///home/horn/Repos/js/reveal.js/lib/js/head.min.js"></script> | |
| <script src="file:///home/horn/Repos/js/reveal.js/js/reveal.min.js"></script> | |
| <script> | |
| // Full list of configuration options available here: | |
| // https://github.com/hakimel/reveal.js#configuration | |
| Reveal.initialize({ | |
| controls: true, | |
| progress: true, | |
| history: true, | |
| center: true, | |
| rollingLinks: true, | |
| keyboard: true, | |
| overview: true, | |
| // slide width | |
| // slide height | |
| // slide margin | |
| // slide minimum scaling factor | |
| // slide maximum scaling factor | |
| theme: Reveal.getQueryHash().theme, // available themes are in /css/theme | |
| transition: Reveal.getQueryHash().transition || 'default', // default/cube/page/concave/zoom/linear/fade/none | |
| transitionSpeed: 'default', | |
| // Optional libraries used to extend on reveal.js | |
| dependencies: [ | |
| { src: 'file:///home/horn/Repos/js/reveal.js/lib/js/classList.js', condition: function() { return !document.body.classList; } }, | |
| { src: 'file:///home/horn/Repos/js/reveal.js/plugin/markdown/showdown.js', condition: function() { return !!document.querySelector( '[data-markdown]' ); } }, | |
| { src: 'file:///home/horn/Repos/js/reveal.js/plugin/markdown/markdown.js', condition: function() { return !!document.querySelector( '[data-markdown]' ); } }, | |
| { src: 'file:///home/horn/Repos/js/reveal.js/plugin/highlight/highlight.js', async: true, callback: function() { hljs.initHighlightingOnLoad(); } }, | |
| { src: 'file:///home/horn/Repos/js/reveal.js/plugin/zoom-js/zoom.js', async: true, condition: function() { return !!document.body.classList; } }, | |
| { src: 'file:///home/horn/Repos/js/reveal.js/plugin/notes/notes.js', async: true, condition: function() { return !!document.body.classList; } } | |
| // { src: 'file:///home/horn/Repos/js/reveal.js/plugin/search/search.js', async: true, condition: function() { return !!document.body.classList; } } | |
| // { src: 'file:///home/horn/Repos/js/reveal.js/plugin/remotes/remotes.js', async: true, condition: function() { return !!document.body.classList; } } | |
| ] | |
| }); | |
| </script> | |
| </body> | |
| </html> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment