-
Notifications
You must be signed in to change notification settings - Fork 50
/
Copy pathframe.html
43 lines (41 loc) · 1.93 KB
/
frame.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
<!DOCTYPE HTML>
<html>
<head>
<title>Try PureScript!</title>
<meta content="text/html;charset=utf-8" http-equiv="Content-Type">
<meta content="utf-8" http-equiv="encoding">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<!--
JSPM Generator Import Map
Edit URL: https://generator.jspm.io/#ZcxBDkAwEEDRWQinMQwhlr2EA9BOZKQqqamtq5OIle1L/s8zgOIag4p6djDLUkpQXjgawh47AsdWtsnjehiqsUWCyJPV0u2boQEbrH9QWS8c9O8Hx5Pj61+ckjgzPOPmBszFaRmMAA
-->
<script type="importmap">
{
"imports": {
"big-integer": "https://ga.jspm.io/npm:[email protected]/BigInteger.js",
"decimal.js": "https://ga.jspm.io/npm:[email protected]/decimal.js",
"react": "https://ga.jspm.io/npm:[email protected]/index.js",
"react-dom": "https://ga.jspm.io/npm:[email protected]/index.js",
"react-dom/client": "https://ga.jspm.io/npm:[email protected]/client.js",
"react-dom/server": "https://ga.jspm.io/npm:[email protected]/server.browser.js",
"uuid": "https://ga.jspm.io/npm:[email protected]/dist/esm-browser/index.js"
},
"scopes": {
"https://ga.jspm.io/": {
"object-assign": "https://ga.jspm.io/npm:[email protected]/index.js",
"scheduler": "https://ga.jspm.io/npm:[email protected]/index.js"
}
}
}
</script>
<!-- ES Module Shims: Import maps polyfill for modules browsers without import maps support (all except Chrome 89+) -->
<!-- While 1.5.12 is not the latest release (1.5.16) and still sometimes shows an error (head on null) it is currently the best option -->
<!-- See https://github.com/purescript/trypurescript/pull/297#issuecomment-1214194277 -->
<script async src="https://ga.jspm.io/npm:[email protected]/dist/es-module-shims.js" integrity="sha384-KpzeqocuAuGQvuaqG8NBwER/6UR/rFGoff/DdvgKT1OBZsR/GyQXTn6hrC5J+K2B" crossorigin="anonymous"></script>
<script src="js/frame.js"></script>
</head>
<body>
<main id="main"></main>
<div id="root"></div>
</body>
</html>