summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJJ2024-09-30 05:20:47 +0000
committerJJ2024-09-30 05:20:47 +0000
commitb65a06d69bba0059a585b6e85d41cc0989863e07 (patch)
tree66fa01d1a3955e6d562c8193eb2e126042891ed5
parentc0f0661466fc9f9aa945bce097d78b987266fdd2 (diff)
remove wiki templates & update wiki link
Diffstat
-rw-r--r--_templates/algebra.html33
-rw-r--r--_templates/analysis.html33
-rw-r--r--_templates/computation.html34
-rw-r--r--_templates/ctf.html34
-rw-r--r--_templates/foundations.html33
-rw-r--r--_templates/header.html2
-rw-r--r--_templates/linguistics.html33
-rw-r--r--_templates/mathematics.html33
-rw-r--r--_templates/plt.html34
-rw-r--r--_templates/tech.html34
-rw-r--r--_templates/web.html34
-rw-r--r--_templates/wiki.html14
-rw-r--r--stack.yaml1
13 files changed, 2 insertions, 350 deletions
diff --git a/_templates/algebra.html b/_templates/algebra.html
deleted file mode 100644
index fc368d6..0000000
--- a/_templates/algebra.html
+++ /dev/null
@@ -1,33 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
- <meta charset="UTF-8"/>
- <meta name="viewport" content="width=device-width"/>
- <link rel="icon" type="image/jpg" href="/assets/light.png"/>
- <link rel="stylesheet" href="/css/style.css"/>
- <link rel="stylesheet" href="/css/wiki.css"/>
- <title> $title$ </title>
-</head>
-<body>
-<header>
-<h1>
- <a href="https://toki.la">apropos</a>
-</h1>
-<div>
- <nav>
- <b><a href="/wiki/math">mathematics</a></b>
- <a href="/wiki/cpsc">linguistics</a>
- <a href="/wiki/cpsc">computation</a>
- </nav>
- <nav>
- <a href="/wiki/math/foundations">foundations</a>
- <b><a href="/wiki/math/algebra">algebra</a></b>
- <a href="/wiki/math/analysis">analysis</a>
- </nav>
-</div>
-</header>
-<main>
-$body$
-</main>
-</body>
-</html>
diff --git a/_templates/analysis.html b/_templates/analysis.html
deleted file mode 100644
index 64d9895..0000000
--- a/_templates/analysis.html
+++ /dev/null
@@ -1,33 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
- <meta charset="UTF-8"/>
- <meta name="viewport" content="width=device-width"/>
- <link rel="icon" type="image/jpg" href="/assets/light.png"/>
- <link rel="stylesheet" href="/css/style.css"/>
- <link rel="stylesheet" href="/css/wiki.css"/>
- <title> $title$ </title>
-</head>
-<body>
-<header>
-<h1>
- <a href="https://toki.la">apropos</a>
-</h1>
-<div>
- <nav>
- <b><a href="/wiki/math">mathematics</a></b>
- <a href="/wiki/ling">linguistics</a>
- <a href="/wiki/cpsc">computation</a>
- </nav>
- <nav>
- <a href="/wiki/math/foundations">foundations</a>
- <a href="/wiki/math/algebra">algebra</a>
- <b><a href="/wiki/math/analysis">analysis</a></b>
- </nav>
-</div>
-</header>
-<main>
-$body$
-</main>
-</body>
-</html>
diff --git a/_templates/computation.html b/_templates/computation.html
deleted file mode 100644
index c233cc7..0000000
--- a/_templates/computation.html
+++ /dev/null
@@ -1,34 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
- <meta charset="UTF-8"/>
- <meta name="viewport" content="width=device-width"/>
- <link rel="icon" type="image/jpg" href="/assets/light.png"/>
- <link rel="stylesheet" href="/css/style.css"/>
- <link rel="stylesheet" href="/css/wiki.css"/>
- <title> $title$ </title>
-</head>
-<body>
-<header>
-<h1>
- <a href="https://toki.la">apropos</a>
-</h1>
-<div>
- <nav>
- <a href="/wiki/math">mathematics</a>
- <a href="/wiki/ling">linguistics</a>
- <b><a href="/wiki/cpsc">computation</a></b>
- </nav>
- <nav>
- <a href="/wiki/ctf">ctf</a>
- <a href="/wiki/plt">plt</a>
- <a href="/wiki/tech">tech</a>
- <a href="/wiki/web">web</a>
- </nav>
-</div>
-</header>
-<main>
-$body$
-</main>
-</body>
-</html>
diff --git a/_templates/ctf.html b/_templates/ctf.html
deleted file mode 100644
index ca95bb7..0000000
--- a/_templates/ctf.html
+++ /dev/null
@@ -1,34 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
- <meta charset="UTF-8"/>
- <meta name="viewport" content="width=device-width, initial-scale=1.0"/>
- <link rel="icon" type="image/jpg" href="/assets/light.png"/>
- <link rel="stylesheet" href="/css/style.css"/>
- <link rel="stylesheet" href="/css/wiki.css"/>
- <title> $title$ </title>
-</head>
-<body>
-<header>
-<h1>
- <a href="https://toki.la">apropos</a>
-</h1>
-<div>
- <nav>
- <a href="/wiki/math">mathematics</a>
- <a href="/wiki/ling">linguistics</a>
- <b><a href="/wiki/cpsc">computation</a></b>
- </nav>
- <nav>
- <b><a href="/wiki/ctf">ctf</a></b>
- <a href="/wiki/plt">plt</a>
- <a href="/wiki/tech">tech</a>
- <a href="/wiki/web">web</a>
- </nav>
-</div>
-</header>
-<main>
-$body$
-</main>
-</body>
-</html>
diff --git a/_templates/foundations.html b/_templates/foundations.html
deleted file mode 100644
index ec90b1b..0000000
--- a/_templates/foundations.html
+++ /dev/null
@@ -1,33 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
- <meta charset="UTF-8"/>
- <meta name="viewport" content="width=device-width, initial-scale=1.0"/>
- <link rel="icon" type="image/jpg" href="/assets/light.png"/>
- <link rel="stylesheet" href="/css/style.css"/>
- <link rel="stylesheet" href="/css/wiki.css"/>
- <title> $title$ </title>
-</head>
-<body>
-<header>
-<h1>
- <a href="https://toki.la">apropos</a>
-</h1>
-<div>
- <nav>
- <b><a href="/wiki/math">mathematics</a></b>
- <a href="/wiki/ling">linguistics</a>
- <a href="/wiki/cpsc">computation</a>
- </nav>
- <nav>
- <b><a href="/wiki/math/foundations">foundations</a></b>
- <a href="/wiki/math/algebra">algebra</a>
- <a href="/wiki/math/analysis">analysis</a>
- </nav>
-</div>
-</header>
-<main>
-$body$
-</main>
-</body>
-</html>
diff --git a/_templates/header.html b/_templates/header.html
index d6547e7..786d5d4 100644
--- a/_templates/header.html
+++ b/_templates/header.html
@@ -7,6 +7,6 @@
<a id="posts" href="/posts">blog</a>
<a id="notes" href="/notes">notes</a>
<a id="writeups" href="/writeups">writeups</a>
- <a id="wiki" href="/wiki">wiki</a>
+ <a id="wiki" href="https://wiki.toki.la">wiki</a>
</nav>
</header>
diff --git a/_templates/linguistics.html b/_templates/linguistics.html
deleted file mode 100644
index d333032..0000000
--- a/_templates/linguistics.html
+++ /dev/null
@@ -1,33 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
- <meta charset="UTF-8"/>
- <meta name="viewport" content="width=device-width"/>
- <link rel="icon" type="image/jpg" href="/assets/light.png"/>
- <link rel="stylesheet" href="/css/style.css"/>
- <link rel="stylesheet" href="/css/wiki.css"/>
- <title> $title$ </title>
-</head>
-<body>
-<header>
-<h1>
- <a href="https://toki.la">apropos</a>
-</h1>
-<div>
- <nav>
- <a href="/wiki/math">mathematics</a>
- <b><a href="/wiki/ling">linguistics</a></b>
- <a href="/wiki/cpsc">computation</a>
- </nav>
- <nav>
- <a href="/wiki/ling/syntax">syntax</a>
- <a href="/wiki/ling/semantics">semantics</a>
- <a href="/wiki/ling/pragmatics">pragmatics</a>
- </nav>
-</div>
-</header>
-<main>
-$body$
-</main>
-</body>
-</html>
diff --git a/_templates/mathematics.html b/_templates/mathematics.html
deleted file mode 100644
index e3bbd0e..0000000
--- a/_templates/mathematics.html
+++ /dev/null
@@ -1,33 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
- <meta charset="UTF-8"/>
- <meta name="viewport" content="width=device-width"/>
- <link rel="icon" type="image/jpg" href="/assets/light.png"/>
- <link rel="stylesheet" href="/css/style.css"/>
- <link rel="stylesheet" href="/css/wiki.css"/>
- <title> $title$ </title>
-</head>
-<body>
-<header>
-<h1>
- <a href="https://toki.la">apropos</a>
-</h1>
-<div>
- <nav>
- <b><a href="/wiki/math">mathematics</a></b>
- <a href="/wiki/ling">linguistics</a>
- <a href="/wiki/cpsc">computation</a>
- </nav>
- <nav>
- <a href="/wiki/math/foundations">foundations</a>
- <a href="/wiki/math/algebra">algebra</a>
- <a href="/wiki/math/analysis">analysis</a>
- </nav>
-</div>
-</header>
-<main>
-$body$
-</main>
-</body>
-</html>
diff --git a/_templates/plt.html b/_templates/plt.html
deleted file mode 100644
index 02e3cdb..0000000
--- a/_templates/plt.html
+++ /dev/null
@@ -1,34 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
- <meta charset="UTF-8"/>
- <meta name="viewport" content="width=device-width"/>
- <link rel="icon" type="image/jpg" href="/assets/light.png"/>
- <link rel="stylesheet" href="/css/style.css"/>
- <link rel="stylesheet" href="/css/wiki.css"/>
- <title> $title$ </title>
-</head>
-<body>
-<header>
-<h1>
- <a href="https://toki.la">apropos</a>
-</h1>
-<div>
- <nav>
- <a href="/wiki/math">mathematics</a>
- <a href="/wiki/ling">linguistics</a>
- <b><a href="/wiki/cpsc">computation</a></b>
- </nav>
- <nav>
- <a href="/wiki/ctf">ctf</a>
- <b><a href="/wiki/plt">plt</a></b>
- <a href="/wiki/tech">tech</a>
- <a href="/wiki/web">web</a>
- </nav>
-</div>
-</header>
-<main>
-$body$
-</main>
-</body>
-</html>
diff --git a/_templates/tech.html b/_templates/tech.html
deleted file mode 100644
index 6d004f1..0000000
--- a/_templates/tech.html
+++ /dev/null
@@ -1,34 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
- <meta charset="UTF-8"/>
- <meta name="viewport" content="width=device-width"/>
- <link rel="icon" type="image/jpg" href="/assets/light.png"/>
- <link rel="stylesheet" href="/css/style.css"/>
- <link rel="stylesheet" href="/css/wiki.css"/>
- <title> $title$ </title>
-</head>
-<body>
-<header>
-<h1>
- <a href="https://toki.la">apropos</a>
-</h1>
-<div>
- <nav>
- <a href="/wiki/math">mathematics</a>
- <a href="/wiki/ling">linguistics</a>
- <b><a href="/wiki/cpsc">computation</a></b>
- </nav>
- <nav>
- <a href="/wiki/ctf">ctf</a>
- <a href="/wiki/plt">plt</a>
- <b><a href="/wiki/tech">tech</a></b>
- <a href="/wiki/web">web</a>
- </nav>
-</div>
-</header>
-<main>
-$body$
-</main>
-</body>
-</html>
diff --git a/_templates/web.html b/_templates/web.html
deleted file mode 100644
index 889be5d..0000000
--- a/_templates/web.html
+++ /dev/null
@@ -1,34 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
- <meta charset="UTF-8"/>
- <meta name="viewport" content="width=device-width"/>
- <link rel="icon" type="image/jpg" href="/assets/light.png"/>
- <link rel="stylesheet" href="/css/style.css"/>
- <link rel="stylesheet" href="/css/wiki.css"/>
- <title> $title$ </title>
-</head>
-<body>
-<header>
-<h1>
- <a href="https://toki.la">apropos</a>
-</h1>
-<div>
- <nav>
- <a href="/wiki/math">mathematics</a>
- <a href="/wiki/ling">linguistics</a>
- <b><a href="/wiki/cpsc">computation</a></b>
- </nav>
- <nav>
- <a href="/wiki/ctf">ctf</a>
- <a href="/wiki/plt">plt</a>
- <a href="/wiki/tech">tech</a>
- <b><a href="/wiki/web">web</a></b>
- </nav>
-</div>
-</header>
-<main>
-$body$
-</main>
-</body>
-</html>
diff --git a/_templates/wiki.html b/_templates/wiki.html
deleted file mode 100644
index 80fd5df..0000000
--- a/_templates/wiki.html
+++ /dev/null
@@ -1,14 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
-<head>
- <meta charset="UTF-8"/>
- <meta name="viewport" content="width=device-width"/>
- <link rel="icon" type="image/jpg" href="/assets/light.png"/>
- <link rel="stylesheet" href="/css/style.css"/>
- <link rel="stylesheet" href="/css/wiki.css"/>
- <title> $title$ </title>
-</head>
-<body>
-$body$
-</body>
-</html>
diff --git a/stack.yaml b/stack.yaml
index 36d8e5b..8897f63 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,4 +1,5 @@
resolver: lts-22.30
system-ghc: true
+notify-if-nix-on-path: false
packages:
- .
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-16 10:27:04 +0000