GitHub repository: lambdabot/IOSpec
Primary language: Haskell
Created: 2018-12-28T20:46:20Z
Description: A pure specification of the IO monad