From 3e7463d37541c6ad2115b60aa0d85e48e268f3c1 Mon Sep 17 00:00:00 2001 From: Andrew Date: Sun, 17 May 2026 15:50:12 -0600 Subject: [PATCH] Update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 869115abf..43d214de0 100644 --- a/README.md +++ b/README.md @@ -26,6 +26,8 @@ LSTS philosophy, LSTS seems to be aiming for: * but with more inference * and programmable compiler semantics +That’s potentially a direct challenge to Rust’s ergonomics model. + λ☶ (pronounced Lambda Mountain) is a typed macro assembler that provides a relatively clean implementation of **System F<: with Specialization**. * [TUTORIAL](https://github.com/andrew-johnson-4/LSTS/wiki)