fp-lean
fp-lean copied to clipboard
leanprover
Consider clarifying the status of stdin/stdout when they first appear
It's been confusing for at least one reader - the text probably assumes more knowledge of Unix lore than it should.
