-
Notifications
You must be signed in to change notification settings - Fork 2
/
documentation.html
54 lines (52 loc) · 3.88 KB
/
documentation.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
<!DOCTYPE html>
<html lang="en"><head><meta charset="utf-8" />
<meta http-equiv="X-UA-Compatible" content="IE=edge" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<link rel="stylesheet" type="text/css" href="/css/bootstrap.min.css" />
<link rel="stylesheet" type="text/css" href="/css/pygments.css" />
<link rel="stylesheet" type="text/css" href="/css/scribble.css" />
<link rel="stylesheet" type="text/css" href="/css/custom.css" />
<link rel="shortcut icon" href="logo/tiny.png" type="image/x-icon" />
<script type="text/javascript">/* NOTE: This script uses piwik, anonymizes data, and respects
users' do not track setting. The information is stored on a
Video Lang computer and does not go through any third party.*/
var _paq = _paq || [];
_paq.push(['trackPageView']);
_paq.push(['enableLinkTracking']);
(function() {
var u="https://stats.lang.video:8443/piwik/";
_paq.push(['setTrackerUrl', u+'piwik.php']);
_paq.push(['setSiteId', '1']);
var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0];
g.type='text/javascript'; g.async=true; g.defer=true; g.src=u+'piwik.js'; s.parentNode.insertBefore(g,s);
})();</script>
<title>Video Language - Documentation</title>
</head>
<body id="pn-top"><nav class="navbar navbar-inverse navbar-fixed-top"><div class="navbar-inner"><div class="container"><div class="navbar-header"><button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar"><span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span></button>
<a class="navbar-brand" href="/index.html"><img src="/logo.png" alt="Video logo" height="50" width="75" /></a></div>
<div id="navbar" class="navbar-collapse collapse"><ul class="nav navbar-nav pull-right"><li role="presentation"><a href="/index.html">Home</a></li><li role="presentation"><a href="/download.html">Download</a></li><li role="presentation" class="active"><a href="#">Documentation</a></li><li role="presentation"><a href="/community.html">Community</a></li><li role="presentation"><a href="/blog/index.html">Blog</a></li></ul></div></div></div></nav>
<div class="jumbotron"><div class="container"><h1>Documentation</h1></div></div>
<div class="container"><h2>Video Manual</h2>
<p>You can find the documentation for the current stable version of Video
<a href="http://docs.racket-lang.org/video@video/index.html">on the Racket docs website</a>.
Older versions of this manual are also available:
<ul><li><a href="http://docs.racket-lang.org/video@video-v0-2/index.html">v0.2</a></li>
<li><a href="http://docs.racket-lang.org/video@video-v0-1/index.html">v0.1</a></li>
<li><a href="http://docs.racket-lang.org/video@video-v0-0/index.html">v0.0</a></li></ul>
You can also find the documentation for your local
installation of Video by running <kbd>raco docs video</kbd> in
your terminal, or by clicking <code>Help -> Documentation</code> inside of DrRacket.</p>
<h2>Publications</h2>
<p>This is a list of Video related publications.</p>
<ul><li><b>Super 8 Languages for Making Movies (A Functional
Pearl).</b> Leif Andersen, Stephen Chang, Matthias Felleisen.
ICFP 2017
(<a href="https://doi.org/10.1145/3110274">PDF</a>,
<a href="pub/icfp2017/errata.html">Errata</a>)
(<a href="pub/icfp2017/slides.pdf">Slides</a>,
<a href="https://github.com/videolang/website/tree/master/pub/icfp2017/slidesrc">Source</a>)</li></ul></div>
<div class="footer-color"><div class="container"><footer class="footer float:right"><div class="copyright"><p style="float:left">Copyright © 2016-2019 Leif Andersen</p></div>
<div class="pull-right"><img src="/logo/tiny.png" alt="Video Logo" height="25" width="25" /></div></footer></div></div><script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.2/jquery.min.js"></script><script src="/js/bootstrap.min.js"></script></body></html>