NT in Haskell

lp:nt-in-haskell

Created by Stephen Compall on 2015-01-19 and last modified on 2015-02-02

Get this branch:: bzr branch lp:nt-in-haskell

Only Stephen Compall can upload to this branch. If you are Stephen Compall please log in for upload directions.

Branch merges

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Stephen Compall

Project:: NT in Haskell

Status:: Development

Recent revisions

21. By Stephen Compall on 2015-02-02: Copyright notices.
20. By Stephen Compall on 2015-02-02: Answers, hints, and project home locations.
19. By Stephen Compall on 2015-01-30: Thank some people.
18. By Stephen Compall on 2015-01-30: Exercise to note that NT is polykinded.
17. By Stephen Compall on 2015-01-27: Rename variables in product, sum to avoid shadowing.
16. By Stephen Compall on 2015-01-26: Explain how to follow the materials independently.
15. By Stephen Compall on 2015-01-25: Mention that NTC is not always a natural transformation.
14. By Stephen Compall on 2015-01-25: Link to 24 DOGE RankNTypes blog.
13. By Stephen Compall on 2015-01-25: Remove kan-extensions; it is no longer used.
12. By Stephen Compall on 2015-01-25: Remove Codensity and ContT from lifting exercise.

»

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

This branch contains Public information

Everyone can see this information.

Subscribers

Stephen Compall