Update docs

helvm · Jul 5, 2023 · b87f034 · b87f034
1 parent 9fd7a3d
commit b87f034
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 9 deletions.
diff --git a/docs/README.md b/docs/README.md
@@ -40,13 +40,10 @@ THAT is an Automaton and an Interpreter for Esoteric Languages (EsoAutomata)
 ```
 
 ## Features
-Currently, **🔧 🎨 HelMA** can:
-* calculate:
-  * 🦄 [Lazy K](https://helvm.org/lazy-k/lazy-k.html)
-  * 🦄 [Zot](https://github.com/helvm/zot_haskell)
-* interpret structured:
+Currently, **🔧 🎨 HelMA** can interpret:
+* structured:
   * 🌈 BrainFuck
-* interpret goto:
+* goto:
   * ❤️ [ETA](http://www.miketaylor.org.uk/tech/eta/doc/)
   * 💙 [SubLeq](http://mazonka.com/subleq/)
   * 🤍 [WhiteSpace](https://helvm.github.io/wspace/tutorial.html)

diff --git a/docs/users/THANKS.md b/docs/users/THANKS.md
@@ -4,11 +4,11 @@
 * For functional calculators:
   * 🦄 Lazy K:
     * [Documentation](https://tromp.github.io/cl/lazy-k.html)
-    * [Lazy K interpreter from Irori](https://github.com/helvm/lazyk-irori)
-    * [Lazy K interpreter from Rst76](https://github.com/helvm/Lazy-K-rst76)
+    * [Lazy K interpreter from Irori](https://github.com/irori/lazyk)
+    * [Lazy K interpreter from Rst76](https://github.com/rst76/Lazy-K)
     * [Lambda Calculus from Blynn](https://crypto.stanford.edu/~blynn/lambda/)
   * 🦄 Zot:
-    * [Zot in Haskell](https://github.com/helvm/zot_haskell)
+    * [Zot in Haskell](https://github.com/YoshikuniJujo/zot_haskell)
 * For imperative interpreters:
   * 🌈 BrainFuck:
     * [Yet Another Brainfuck Interpreter](https://github.com/helvm/yabi)