diff --git a/README.md b/README.md index 0ab9d803c..6d48412a0 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ +lim e. (ML + Feature)^e -> LM + # [Lambda Mountain](https://github.com/andrew-johnson-4/-/wiki) λ☶ (pronounced Lambda Mountain) is a typed macro assembler that provides a relatively clean implementation of **System F<: with Specialization**.