From 006d1c36b3edb9fefb375b9544806235066041d7 Mon Sep 17 00:00:00 2001
From: "ajeffrey@roblox.com" <ajeffrey@roblox.com>
Date: Thu, 13 Oct 2022 15:42:51 -0500
Subject: [PATCH] Added links to the OSS repo

---
 docs/_posts/2022-10-31-luau-semantic-subtyping.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/_posts/2022-10-31-luau-semantic-subtyping.md b/docs/_posts/2022-10-31-luau-semantic-subtyping.md
index 9280d78a..99690c68 100644
--- a/docs/_posts/2022-10-31-luau-semantic-subtyping.md
+++ b/docs/_posts/2022-10-31-luau-semantic-subtyping.md
@@ -244,3 +244,5 @@ Some other languages which support semantic subtyping…
 * Ballerina <https://ballerina.io>
 * Elixir <https://elixir-lang.org/>
 * eqWAlizer <https://github.com/WhatsApp/eqwalizer>
+
+And if you want to see the production code, it's in the C++ definitions of [tryUnifyNormalizedTypes](https://github.com/Roblox/luau/blob/d6aa35583e4be14304d2a17c7d11c8819756beb6/Analysis/src/Unifier.cpp#L868) and [NormalizedType](https://github.com/Roblox/luau/blob/d6aa35583e4be14304d2a17c7d11c8819756beb6/Analysis/include/Luau/Normalize.h#L134) in the [open source Luau repo](https://github.com/Roblox/luau).