3 ms·Show HN: Single file Lambda Calculus' demonstrating various type system features1 points by solomonb 6mo ago