i.❤️📃.ws

Table of Contents

1 Papers

1.1 Data Types a'la Carte - Swierstra, Wouter   typetheory haskell

Description:

This paper describes a technique for assembling both data types and functions from isolated individual components. We also explore how the same technology can be used to combine free monads and, as a result, structure Haskell’s monolithic IO monad.

Source:

Cats documentation

Highlights:

2 Books

2.1 Category Theory for Sciences - Spivak, Daniel I.   categorytheory math

Description:

Highlights:

3 Info

3.1 Adding new papers

Fork. Edit. Tag. PR. Discuss. Profit.

Created: 2017-03-07 Tue 19:35

Emacs 25.2.2 (Org mode 8.2.10)

Validate