Files
ValueScript/website/src/index.html
Andrew Morris 4e8e368441 Add google tags
2023-03-30 23:50:37 +11:00

35 lines
959 B
HTML

<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<meta name=viewport content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="./index.scss" />
<!-- Google tag (gtag.js) -->
<script async src="https://www.googletagmanager.com/gtag/js?id=G-BKB4Q8FX7J">
</script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', 'G-BKB4Q8FX7J');
</script>
</head>
<body>
<div id="main">
<div id="content">
<p id="heading">ValueScript</p>
<p>A dialect of TypeScript with value semantics.</p>
<div><a href="playground/">Try the playground</a></div>
<div><a href="https://github.com/voltrevo/ValueScript">Learn more</a></div>
</div>
</div>
<div style="display: none">
<a href="playground/index.html">Playground</a>
</div>
</body>
</html>