From b303afe900f11835bb0e47328e72ed16d6d2ea62 Mon Sep 17 00:00:00 2001
From: Juan Pablo Yamamoto <jpyamamoto@ciencias.unam.mx>
Date: Fri, 20 Oct 2023 22:19:26 -0600
Subject: [PATCH] added info to website

---
 alonzo/index.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/alonzo/index.html b/alonzo/index.html
index 1186917..48f5067 100644
--- a/alonzo/index.html
+++ b/alonzo/index.html
@@ -118,6 +118,12 @@ <h2>Intérpretes</h2>
 
       <p>Las secciones de código entre <code>{--</code> y <code>--}</code> se consideran comentarios, y son ignoradas por el intérprete. De igual manera, las secciones de código que comienzan con <code>--</code> son comentarios hasta el final de línea.</p>
 
+      <p>Para interactuar con el código, tenemos disponibles las siguientes dos instrucciones:</p>
+      <ul>
+        <li><code>:e &lt;term&gt;</code> Evalúa el término <code>&lt;term&gt;</code></li>
+        <li><code>:t &lt;term&gt;</code> Devuelve el tipo del término <code>&lt;term&gt;</code></li>
+      </ul>
+
     </section>
 
     <hr />