1 files changed, 1 insertions(+), 1 deletions(-) M content/blog/on-decidability-and-the-mu-puzzle.md
M content/blog/on-decidability-and-the-mu-puzzle.md => content/blog/on-decidability-and-the-mu-puzzle.md +1 -1
@@ 154,4 154,4 @@ such as building compilers. If you have any questions or comments feel free to reach out to me via my [public inbox](https://lists.sr.ht/~bfiedler/public-inbox). If you are interested in undecidability in other programming languages, you might also like this website I made: [typing-is-hard.ch](https://typing-is-hard.ch). this website I made: [typing-is-hard.ch](https://3fx.ch/typing-is-hard.html).