-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
57 lines (43 loc) · 1.54 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
<!DOCTYPE html>
<html>
<head>
<title>Idris Type Checker In Your Browser</title>
<meta charset="utf-8">
<meta name="keywords" content="haskell,online,web,type checker" />
<meta name="description" content="An online Haskell type checker that validates your code on-the-fly. Very handy for Haskell beginners!" />
<script src="/static/jquery.min.js"></script>
<script src="/static/jquery-ui.min.js"></script>
<script src="/static/jquery.layout-latest.js"></script>
<link rel="stylesheet" href="/static/layout-default-latest.css">
<script src="/static/codemirror/lib/codemirror.js"></script>
<script src="/static/codemirror/mode/haskell/haskell.js"></script>
<script src="/static/codemirror/addon/fold/foldcode.js"></script>
<link rel="stylesheet" href="/static/codemirror/lib/codemirror.css">
<link rel="stylesheet" href="/static/haskellonline.css">
</head>
<body>
<div id="container">
<div id="headerPane" class="pane ui-layout-north">
Idris Type Checker
<div class="clearButtonContainer">
<button id="clearButton">Clear code area</button>
</div>
</div>
<div id="codePane" class="pane ui-layout-center">
<form>
<textarea id="hs" name="hs">
module Foo
a : String
a = nope
</textarea>
</form>
</div>
<div id="resultPane" class="pane ui-layout-east"><pre id="result"></pre></div>
<div id="footerPane" class="pane ui-layout-south">
<div id="footer">
</div>
</div>
</div> <!-- container -->
<script src="/static/haskellonline.js"></script>
</body>
</html>