Submissions from github.com/solomon-b

		Show HN: Single file Lambda Calculus' demonstrating various type system features (github.com/solomon-b)
		1 point by solomonb 7 days ago \| past \| discuss
		Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory (github.com/solomon-b)
		3 points by birdculture 7 days ago \| past \| discuss
		Show HN: claude-env – Manage multiple accounts for Claude-code (github.com/solomon-b)
		2 points by solomonb 56 days ago \| past \| 1 comment