forked from Tateology/kaeru
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
64 lines (56 loc) · 2.72 KB
/
index.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
55
56
57
58
59
60
61
62
63
64
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<link rel="shortcut icon" type="image/x-icon" href="./resources/icons/cornell.ico" />
<!--<link rel="stylesheet" type="text/css" href="http://hyperdex.org/css/docutils.css" />-->
<!--<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.4.1/jquery.min.js"></script>-->
<title>Kaeru Language</title>
<!--<script type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-9339334-5']);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
</script>-->
</head>
<body>
<div>
<div>
<h1>
<a href="http://kaeru-lang.org/">
<span class="systemname">(index) Kaeru</span>: Gradual Typing for Tadpoles
</a>
</h1>
</div>
<div id="nav">
<span><a href="http://kaeru-lang.org/">Home</a></span>
<span><a href="http://kaeru-lang.org/about/">About</a></span>
<span><a href="http://kaeru-lang.org/performance/">Performance</a></span>
<span><a href="http://kaeru-lang.org/download/">Download</a></span>
<span><a href="http://kaeru-lang.org/papers/">Papers</a></span>
<span><a href="http://kaeru-lang.org/support/">Support</a></span>
<span><a href="http://kaeru-lang.org/people/">People</a></span>
</div><!-- nav -->
<div id="more-nav">
<span><a href="http://kaeru-lang.org/news/">News</a></span>
<span><a href="http://kaeru-lang.org/doc/tutorial/">Tutorial</a></span>
<span><a href="http://kaeru-lang.org/doc/">Documentation</a></span>
<span><a href="http://kaeru-lang.org/faq/">FAQ</a></span>
<span><a href="http://kaeru-lang.org/contributors/">Contributors</a></span>
<!--<span><a href="https://github.com/rescrv/HyperDex/">GitHub</a></span>-->
<!--<span><a href="https://github.com/rescrv/HyperDex/issues?sort=created&direction=desc&state=open&page=1">Bug Tracker</a></span>-->
</div><!-- more-nave -->
<div id="bd">
<p>Kaeru is a great new language</p>
</div><!-- bd -->
<div id="ft">
<p>We don't have a Copyright yet. © <a href="http://www.cs.cornell.edu/">Cornell University</a></p>
</div><!-- ft -->
</div><!-- doc -->
</body>
</html>