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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
<!DOCTYPE html>
<html lang="{{ site.lang | default: "en-US" }}">
<head>
<meta charset='utf-8'>
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<link rel="stylesheet" href="{{ '/assets/css/style.css?v=' | append: site.github.build_revision | relative_url }}">
<link rel="stylesheet" type="text/css" href="{{ '/assets/css/print.css' | relative_url }}" media="print">
<!--[if lt IE 9]>
<script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
<style>
#dividerContainer {
height: 98%;
}
#tocColumn {
float: left;
width: 25%;
height: 100%;
overflow: auto;
margin-right:20px;
}
#rightColumn {
float: left;
width: 70%;
height: 100%;
overflow: auto;
padding-left:20px;
}
ol {
list-style:decimal;
list-style-position: inside;
}
</style>
{% seo %}
</head>
<body>
<div id="container">
<div class="inner" style="padding:40px;width:1000px">
<div id="dividerContainer">
<div id="tocColumn">
<a href="/slang/user-guide/README.html">Slang User's Guide</a>
<ol style="list-style-type:decimal">
<li><a href="/slang/user-guide/00-introduction.html">Introduction</a></li>
<li><a href="/slang/user-guide/01-get-started.html">1. Getting Started</a></li>
<li><a href="/slang/user-guide/02-conventional-features.html">Conventional Language Features</a></li>
<li><a href="/slang/user-guide/03-convenience-features.html">Extended language features</a></li>
<li><a href="/slang/user-guide/04-interfaces-generics.html">Interfaces and Generics</a></li>
<li><a href="/slang/user-guide/05-compiling.html">Compiling Code with Slang</a></li>
<li><a href="/slang/user-guide/06-targets.html">Supported Compilation Targets</a></li>
</ol>
</div>
<div id="rightColumn">
<section id="main_content">
{{ content }}
</section>
<footer>
{% if site.github.is_project_page %}
{{ site.title | default: site.github.repository_name }} is maintained by <a href="{{ site.github.owner_url }}">{{ site.github.owner_name }}</a><br>
{% endif %}
This page was generated by <a href="https://pages.github.com">GitHub Pages</a>.
</footer>
</div>
</div>
</div>
</div>
{% if site.google_analytics %}
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', '{{ site.google_analytics }}', 'auto');
ga('send', 'pageview');
</script>
{% endif %}
</body>
</html>
|
