Show HN: Single file Lambda Calculus' demonstrating various type system featuresgithub.com/solomon-b1 pointsolomonb2 months ago