1 files changed, 2 insertions, 1 deletions
diff --git a/posts/turing_complete_type_systems.md b/posts/turing_complete_type_systems.md
index b6ec7bc..70136c8 100644
--- a/posts/turing_complete_type_systems.md
+++ b/posts/turing_complete_type_systems.md
@@ -17,6 +17,7 @@ problem](https://en.wikipedia.org/wiki/Undecidable_problem).
 Rust performs compile-time type inference. The type checker,
 in turn, compiles and infers types, I would describe it as a
 compiler inside a compiler. It is possible that `rustc` may
-never finish compiling your Rust program!
+never finish compiling your Rust program! I lied, `rustc`
+stops after a while, after hitting the recursion limit.
 I understand that this post lacks content.

diff --git a/posts/turing_complete_type_systems.md b/posts/turing_complete_type_systems.md index b6ec7bc..70136c8 100644 --- a/posts/turing_complete_type_systems.md +++ b/posts/turing_complete_type_systems.md
@@ -17,6 +17,7 @@ problem](https://en.wikipedia.org/wiki/Undecidable_problem).
17	Rust performs compile-time type inference. The type checker,	17	Rust performs compile-time type inference. The type checker,
18	in turn, compiles and infers types, I would describe it as a	18	in turn, compiles and infers types, I would describe it as a
19	compiler inside a compiler. It is possible that `rustc` may	19	compiler inside a compiler. It is possible that `rustc` may
20	never finish compiling your Rust program!	20	never finish compiling your Rust program! I lied, `rustc`
		21	stops after a while, after hitting the recursion limit.
21		22
22	I understand that this post lacks content.	23	I understand that this post lacks content.