Show HN: Single file Lambda Calculus' demonstrating various type system features(github.com)1 points by solomonb 32 days ago | 0 commentsNo comments yet