From e5432495555265a9c875a0fdf75fd599a9ca6d0a Mon Sep 17 00:00:00 2001
From: pavelbraginskiy <pavelbraginskiy@hotmail.com>
Date: Mon, 23 Oct 2017 20:36:45 -0700
Subject: [PATCH] Add TIO to mirrors list

TIO (tryitonline.net) hosts interpreters for many languages, including Mathics. I propose it be added as a mirror.
---
 index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/index.html b/index.html
index e6cd9fe..7aea1db 100644
--- a/index.html
+++ b/index.html
@@ -40,6 +40,7 @@ <h2>
 
       <ul id="mirrors">
       <li><a href="https://mathics.angusgriffith.com">https://mathics.angusgriffith.com</a></li>
+      <li><a href="https://tio.run/#mathics">https://tio.run/#mathics</a></li>
       </ul>
 
       <h2>