@hackage categorical-algebra0.0.0.1

Categorical Monoids and Semirings

Categories
License
BSD-3-Clause
Maintainer
jonathangfischoff@gmail.com
Links
- Documentation
- No source repository
- Security
Versions
- 0.0.0.1 Mon, 26 Mar 2012

Installation
In your cabal file:
Dependencies (4)
- base >4.0.0 && <=5.0
- newtype >=0.2
- pointless-haskell >=0.0.8
- void >=0.5.5
Dependents (1)
@hackage/acme-everything

This my attempt at synthesizing a few ideas about invertible programming with Arrow like type classes. Here is a link to pdf produced from the source https://takeittothelimit.files.wordpress.com/2012/03/semiring.pdf And here is a blog post that says basically the same thing. http://takeittothelimit.wordpress.com/2012/03/26/categorical-semirings-2/