-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathindex.html
33 lines (30 loc) · 982 Bytes
/
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
<!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.0" />
<link rel="icon" type="image/svg+xml" href="/favicon.ico" />
<link rel="apple-touch-icon" href="/apple-touch-icon.png" sizes="180x180" />
<title>Cicada Language</title>
<meta
name="description"
content="
Cicada Language is a
dependently typed programming language and an
interactive theorem prover.
"
/>
</head>
<body>
<noscript>
<strong> Our website does not work without JavaScript. </strong>
</noscript>
<script>
'dummy script for firefox FOUC (Flash Of Unstyled Content) bug'
'https://stackoverflow.com/questions/21147149/flash-of-unstyled-content-fouc-in-firefox-only-is-ff-slow-renderer'
</script>
<div id="app"></div>
<script type="module" src="/src/main.ts"></script>
</body>
</html>