From d1d6ce85e67919c3ce208c26ac29f7ac67f33023 Mon Sep 17 00:00:00 2001 From: Yuki Okushi Date: Sat, 4 Mar 2023 00:00:28 +0900 Subject: [PATCH] Update date reference about infer context variables Signed-off-by: Yuki Okushi --- src/type-inference.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/type-inference.md b/src/type-inference.md index 2bafeb24..4043789d 100644 --- a/src/type-inference.md +++ b/src/type-inference.md @@ -68,7 +68,7 @@ inference works, or perhaps this blog post on [Unification in the Chalk project]: http://smallcultfollowing.com/babysteps/blog/2017/03/25/unification-in-chalk-part-1/ All told, the inference context stores five kinds of inference variables -(as of June 2021): +(as of March 2023): - Type variables, which come in three varieties: - General type variables (the most common). These can be unified with any