Show HN: Single file Lambda Calculus' demonstrating various type system features | Heykuki News