Show HN: Type-level Lambda Calculus interpreter in TypeScript | Heykuki News