added info to website

jpyamamoto · Oct 21, 2023 · b303afe · b303afe
1 parent e8dc317
commit b303afe
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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 />