edit.html
1<!doctype html>
2<html lang="en">
3
4<head>
5 <meta charset="UTF-8" />
6 <link rel="icon" type="image/svg+xml" href="/favicon.svg" />
7 <meta name="viewport" content="width=device-width, initial-scale=1.0" />
8 <title>Vite App</title>
9</head>
10
11<body>
12 <div id="root"></div>
13 <div id="summary"></div>
14 <script>
15 window.addEventListener('load', () => {
16 if ('serviceWorker' in navigator) {
17 navigator.serviceWorker.register('/sw.js').then(() => {
18 console.info('Service worker registered!');
19 }).catch((error) => {
20 console.warn(`Error registering service worker:\n${error}.`);
21 });
22 }
23 });
24 </script>
25 <script type="module" src="/lib/es6/src/Main.res.mjs"></script>
26</body>
27
28</html>
