From: alex <alex@pdp7.net>
Date: Wed, 14 Aug 2024 17:27:12 +0000 (+0200)
Subject: Add statically-typed Lisps
X-Git-Tag: 20241020-emacs~93
X-Git-Url: https://xn--ix-yja.es/gitweb/?a=commitdiff_plain;h=2c099d461f5a5947d9739ea0a856efcf3d68fc9a;p=alex.git

Add statically-typed Lisps
---

diff --git a/INTERESTING_PROJECTS.org b/INTERESTING_PROJECTS.org
index 766aa2d..f9faa6c 100644
--- a/INTERESTING_PROJECTS.org
+++ b/INTERESTING_PROJECTS.org
@@ -125,6 +125,9 @@ Also keeping things in a Org mode means I can classify and add notes.
   - https://github.com/gristlabs/grist-core
   - https://github.com/aardappel/treesheets
   - https://www.visidata.org/
+** Statically-typed Lisp
+  - https://lexi-lambda.github.io/hackett/
+  - https://coalton-lang.github.io/
 * Systems
 ** Identity
   - https://github.com/kanidm/kanidm - An alternative to FreeIPA