From 43128265fa2182a3a157d98f287110b06d13950d Mon Sep 17 00:00:00 2001
From: Andrew Yu <andrew@andrewyu.org>
Date: Fri, 7 Oct 2022 15:22:49 +0200
Subject: Links to repositories.

---
 index.html | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/index.html b/index.html
index 4c2739f..61dc96f 100644
--- a/index.html
+++ b/index.html
@@ -23,6 +23,13 @@
 			Do what the programmer writes.  For example, the compiler MUST NOT do GCC-style optimizations such as replacing <code>printf("Hello, world!\n")</code> with <code>puts("Hello, world!")</code> (C example, we'll use our own language when that happens).  However, as humans often make mistakes (i.e. it is rarely wanted to use <code>printf</code> instead of <code>puts</code> for printing a single string), linters SHOULD be able to detect that (and more subtle issues like double-free, use-after-free, potential buffer overflows, etc) and offer alternatives.  But in no circumstance should the computer do differently than told.
 			</li>
 		</ul>
+		<h2>Repositories</h2>
+		<ul>
+			<li><a href="https://git.andrewyu.org/evosaur/website.git">The Source Code of the Evosaur Website</a></li>
+			<li><a href="https://git.andrewyu.org/evosaur/development.git">Evosaur Development Scratchpad</a></li>
+			<li><a href="https://git.andrewyu.org/evosaur/specification.git">The Evosaur Specification</a></li>
+			<li><a href="https://git.andrewyu.org/evosaur/license.git">Evosaur Copyright, License and (anti-)Patent Lab</a></li>
+		</ul>
 		<h2>Thoughts</h2>
 		<p>
 		These are incomplete (as in not complete enough to be in a specification of any kind) thoughts that we had.
-- 
cgit v1.2.3