From 90fdef6c800247c869ddae51d6971d8a2b8401cd 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 2bafeb247..4043789d0 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