GitHub repository: sharkdp/purescript-ctprelude
Primary language: PureScript
Created: 2016-07-04T21:32:13Z
Description: A Prelude with names from category theory