lang-dev/index.html at main · PunGy/lang-dev · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
<!doctype html>
<html lang="en">
  <head>
    <meta charset="UTF-8" />
    <link rel="icon" type="image/svg+xml" href="/favicon.ico" />
    <link rel="preconnect" href="https://fonts.googleapis.com">
    <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
    <link href="https://fonts.googleapis.com/css2?family=Fira+Code:wght@300..700&display=swap" rel="stylesheet">
    <link rel="stylesheet" href="./src/indexPage.css">
    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
    <title>Lang Dev</title>
  </head>
  <body>
    <div id="app">
      <a href="/A-0.html">A-0: stack-oriented computing</a>
      <a href="/F-0.html">F-0: untyped lambda calculus</a>
    </div>
    <div id="footer">
      <a href="https://github.com/PunGy/lang-dev">GitHub</a>
      <a href="https://pungy.me">Author</a>
    </div>
  </body>
</html>