diff options
| -rw-r--r-- | _templates/algebra.html | 33 | ||||
| -rw-r--r-- | _templates/analysis.html | 33 | ||||
| -rw-r--r-- | _templates/computation.html | 34 | ||||
| -rw-r--r-- | _templates/ctf.html | 34 | ||||
| -rw-r--r-- | _templates/foundations.html | 33 | ||||
| -rw-r--r-- | _templates/header.html | 2 | ||||
| -rw-r--r-- | _templates/linguistics.html | 33 | ||||
| -rw-r--r-- | _templates/mathematics.html | 33 | ||||
| -rw-r--r-- | _templates/plt.html | 34 | ||||
| -rw-r--r-- | _templates/tech.html | 34 | ||||
| -rw-r--r-- | _templates/web.html | 34 | ||||
| -rw-r--r-- | _templates/wiki.html | 14 | ||||
| -rw-r--r-- | stack.yaml | 1 |
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> @@ -1,4 +1,5 @@ resolver: lts-22.30 system-ghc: true +notify-if-nix-on-path: false packages: - . |