From dec906bbc02b2cf4723026f016c42e3b1b5023f8 Mon Sep 17 00:00:00 2001 From: Anthony Wang Date: Mon, 21 Nov 2022 19:32:42 +0000 Subject: [PATCH] Now that I have more of an understanding of why Forth is cool, I'm less inclined to devote the time to learn it. Still, it's a cool language. See https://news.ycombinator.com/item?id=33679360#33684545 for more details --- content/about/learn.md | 1 - 1 file changed, 1 deletion(-) diff --git a/content/about/learn.md b/content/about/learn.md index b97b3f5..cc9e8a3 100644 --- a/content/about/learn.md +++ b/content/about/learn.md @@ -10,7 +10,6 @@ type: page - Idris 2 - Agda - Lean -- Forth - Type theory - Opject capabilities - Emacs