diff --git a/TODO b/TODO
deleted file mode 100644
index 1905788..0000000
--- a/TODO
+++ /dev/null
@@ -1,4 +0,0 @@
-Add support for quoting.
-
-Pages to write:
- - category theory (more general, math)
diff --git a/TODO.org b/TODO.org
new file mode 100644
index 0000000..d140fed
--- /dev/null
+++ b/TODO.org
@@ -0,0 +1,7 @@
+Add support for quoting.
+
+Pages to write:
+ - category theory (more general, math)
+ - A more general "computation" page instead of linking to programming language
+ in the index. This will also allow for linking to pages like lambda calculus
+ and others.
diff --git a/format.c b/format.c
index 62657a2..11e90c1 100644
--- a/format.c
+++ b/format.c
@@ -142,7 +142,14 @@ emit_internal_implicit_link(FILE *input, FILE *output)
while ((*(page_ptr++) = fgetc(input)) != '}');
*(page_ptr - 1) = '\0';
- fprintf(output, "{%s}", page, page);
+ char pagename[1024];
+ size_t i;
+ for (i = 0; page[i] != '\0'; i++) {
+ pagename[i] = (page[i] == '-' ? ' ' : page[i]);
+ }
+ pagename[i] = '\0';
+
+ fprintf(output, "{%s}", page, pagename);
}
void
diff --git a/resources/header.html b/resources/header.html
index 6a46753..31e1804 100644
--- a/resources/header.html
+++ b/resources/header.html
@@ -3,4 +3,5 @@
+Codex
diff --git a/resources/style.css b/resources/style.css
index 9e549f5..ac5ab7c 100644
--- a/resources/style.css
+++ b/resources/style.css
@@ -1,6 +1,10 @@
:root {
--fg: #ddd;
--bg: #111;
+ --pre-bg: #1a1a1a;
+ /* --bg: #eee; */
+ /* --fg: #111; */
+ /* --pre-bg: #dedede */
}
body {
@@ -9,6 +13,7 @@ body {
font-family: serif;
margin: 2em;
max-width: 40%;
+ margin-left: 4em;
}
a {
@@ -23,4 +28,13 @@ a:hover {
pre {
font-size: 14px;
+ background: var(--pre-bg);
+ padding: 0.5em;
+}
+
+hr {
+ width: 50%;
+ border-top: 0px;
+ text-align: left;
+ margin-left: 0;
}
diff --git a/site-src/haskell.wtn b/site-src/haskell.wtn
index 7e291f0..d8683eb 100644
--- a/site-src/haskell.wtn
+++ b/site-src/haskell.wtn
@@ -1,6 +1,6 @@
* Haskell
Haskell is a purely functional, lazy, strongly and statically typed, general
-purpose programming language based on the typed {lambda-calculus lambda
-calculus}. It famously uses monads to express I/O interactions. Many of its
-strengths come from its powerful type system.
+purpose programming language based on the typed {lambda-calculus}. It famously
+uses monads to express I/O interactions. Many of its strengths come from its
+powerful type system.
diff --git a/site-src/index.wtn b/site-src/index.wtn
index 1a7bba0..7df861f 100644
--- a/site-src/index.wtn
+++ b/site-src/index.wtn
@@ -2,4 +2,8 @@
Welcome to {codex}.
+** Topics
+
+{programming-languages Programming languages}
+
{site-index Full site index}
diff --git a/site-src/lisp.wtn b/site-src/lisp.wtn
index 20c4642..ee79d70 100644
--- a/site-src/lisp.wtn
+++ b/site-src/lisp.wtn
@@ -4,9 +4,9 @@
thinking previously impossible thoughts.
- Edsger Dijkstra
-Lisp is a family of {programming-languages programming languages} which uses
-s-expressions for expressing both source code and data. Its syntax is fully
-parenthesized and features prefix notation.
+Lisp is a family of {programming-languages} which uses s-expressions for
+expressing both source code and data. Its syntax is fully parenthesized and
+features prefix notation.
Some dialects of Lisp include Common Lisp, Scheme and Clojure.