From 8029ffb4f5c1e576f0fa54bde9f2434926d122ad Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Sun, 30 Jul 2023 16:26:11 +0200 Subject: Add the “Other Websites” page MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/www/index.html | 111 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 111 insertions(+) create mode 100644 src/www/index.html (limited to 'src') diff --git a/src/www/index.html b/src/www/index.html new file mode 100644 index 0000000..e2da20f --- /dev/null +++ b/src/www/index.html @@ -0,0 +1,111 @@ + + + + m4_include(head.html) + + +
+
+

Other Websites

+ m4_include(nav.html) +
+ +
+
+

The essence of XML is this: the problem it solves is not + hard, and it does not solve the problem well.

+
+
+ Phil Wadler +
+
+
+ +
+

+ On this section of the website you can find links to all sorts of + other websites I think are somewhat interesting. Some of these + are my own sites, and some of them aren’t. Feel free to explore. +

+ +

My websites:

+ + +

Not my websites:

+ +
+ +
+ + + + -- cgit v1.2.3