π THANKS HelTC was inspired by many resources: π¦ Lazy K: Documentation Lazy K interpreter from Irori Lazy K interpreter from Rst76 Lambda Calculus from Blynn π¦ Zot: Zot in Haskell π¦ π β€οΈ π π π π€ π€