Tags: TejaAmbati-02/sofp
Tags
finish the applicative chapter (winitzki#34) * wip started on new section in chapter 11 * edit first part of chapter 11 * adding subsections for the applicative laws * add link to fastparse * minor additions * wip equivalence of ap, map2, and zip * remove slides that have been transcribed * add Scala example * finished writing up equivalence proofs of zip, ap, map2 * write a section about equivalence under laws * corrections and clarifications to the section about function equivalence under laws * clarification about naturality laws * wip deriving the laws of zip * make slides for a new presentation * update slides * update slides * wip laws for zip * minor corrections * update for functors, add exercise * minor correction * wip zip laws * minor corrections in the index * wip laws of ap * wip deriving the laws of ap * update tex files * wip laws of ap * wip laws of ap * clarify value-like behavior concept * move section about ap to the end of chapter * prove the composition laws in the applicative category * fix typos * wip derivation of the functor laws of ap * wip proof of associativity law of ap * finish the proof of category laws of ap * add exercise * minor changes * wip applicative functor constructions * wip applicative functor constructions * added diatribes about Liskov principle and about licensing engineers * update tex * update page number * minor change * minor update * update pdf * wip commutative constructions * minor change * proof of co-product applicative constructions * wip selector applicative * wip proof of selector applicative functor * update tex files * wip proof of selector applicative functor * wip current changes * wip proof of selector applicative functor * wip shortened associativity law of zip * proofs of commutative applicative laws * wip proofs for the selector applicative functor * wip proof of selector applicative functor * wip proof of associativity * is it really associative? * wip commutative applicative functors * remove mistaken claims about selector applicative functor * wip proof of first recursive construction * minor additions * wip another co-product construction * wip recursive constructions * finish proofs of recursive applicative functor constructions * begin applicative contrafunctor constructions * wip applicative contrafunctors * fix reference * wip typeclasses in categorical setting * wip section about functorial typeclasses * add index entry * minor changes * minor update * finish section on relationship between monads and applicatives * minor change * minor changes * minor changes * minor updates * proof of exponential construction for contrafunctors * prove the commutativity law in construction 4 * wip proof of composition for applicative contrafunctors * proof of composition for applicative contrafunctors * wip applicative contrafunctors * wip proof of co-product construction for applicative contrafunctors * minor update * wip proofs for contrafunctor constructions * finish applicative contrafunctor proofs * minor corrections * minor corrections * improve formatting * improve formatting * update page number * misc corrections for profunctors * fix exercise for proof * clarify category theory usage * product of applicative profunctors * update pdf * proof of the exponential profunctor construction * minor correction * update tex files * a * update readme * fix the proof for co-pointed construction * additional exercise and example * add compatibility law to another statement * finish proofs with applicative profunctors * minor corrections * corrections for chapter 3 * corrections in parametricity chapter * first set of corrections in chapter 11 * update latex files * better parser code * more corrections * more corrections in chapter 11 * update tex files * minor changes * minor changes * minor corrections * update tex files * last changes to chapter 11 * last corrections Co-authored-by: sergei.winitzki <[email protected]>
PreviousNext