Fix bullet points for architecture

Author: nielstron

ARCHITECTURE.md

@@ -1,4 +1,4 @@
-The general concept is as follows:
+# Architectural Decisions
 
 ## Execution / ABI
 

README.md

@@ -173,6 +173,7 @@ The name is pronounced _op-shin_.
 ### Architecture
 
 This program consists of a few independent components:
+
 1. An aggressive static type inferencer
 2. Rewriting tools to simplify complex python expressions
 3. A compiler from a subset of python into UPLC

docs/eopsin/index.html

@@ -149,10 +149,12 @@ <h3 id="name">Name</h3>
 <p>The name is pronounced <em>op-shin</em>.</p>
 <h2 id="contributing">Contributing</h2>
 <h3 id="architecture">Architecture</h3>
-<p>This program consists of a few independent components:
-1. An aggressive static type inferencer
-2. Rewriting tools to simplify complex python expressions
-3. A compiler from a subset of python into UPLC</p>
+<p>This program consists of a few independent components:</p>
+<ol>
+<li>An aggressive static type inferencer</li>
+<li>Rewriting tools to simplify complex python expressions</li>
+<li>A compiler from a subset of python into UPLC</li>
+</ol>
 <h3 id="debugging-artefacts">Debugging artefacts</h3>
 <p>For debugging purposes, you can also run</p>
 <pre><code class="language-bash"># Compile script to 'uplc', and evaluate the script in UPLC (for debugging purposes)