GitHub repository: well-typed/provenance
Primary language: Haskell
Description: Simple IO functions that guarantee non-interleaved output