"A #TuringMachine, after all, is not (and was never meant to be) a #ProgrammingLanguage! The #LambdaCalculus is both a programming language in itself and the foundation of all other functional languages." #Haskell

https://boarders.github.io/posts/halting1.html