From 58d57be2bc7a5a6b912c8701e3a870a70a396dae Mon Sep 17 00:00:00 2001 From: David Broman Date: Wed, 21 Feb 2024 15:09:40 -0800 Subject: [PATCH] Update mexpr-tutorial.md --- docs/tutorials/mexpr-tutorial.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/tutorials/mexpr-tutorial.md b/docs/tutorials/mexpr-tutorial.md index 357aa04..271b3bb 100644 --- a/docs/tutorials/mexpr-tutorial.md +++ b/docs/tutorials/mexpr-tutorial.md @@ -101,7 +101,7 @@ utest double 5 with 10 in () ``` -Types can be expressed in MCore programs, but they are currently not checked. For instance, the `double` function can be written as +MExpr is statically typed, using a polymorphic type system based on [FreezeML](https://dl.acm.org/doi/10.1145/3385412.3386003). If type annotations are omitted, types will be automatically *inferred*. However, types can also be explicitly expressed in MCore programs. For instance, the `double` function can be written as ```mc let double = lam x:Int. muli x 2 in