more more more

linkych · Jan 24, 2015 · 7c889d8 · 7c889d8
commit 7c889d8
Show file tree

Hide file tree

Showing 267 changed files with 8,613 additions and 0 deletions.
diff --git a/(Functional Pearl) Backtracking, Interleaving, and Terminating Monad Transformers.pdf b/(Functional Pearl) Backtracking, Interleaving, and Terminating Monad Transformers.pdf
diff --git a/...al Algebra and) Category Theory in Foundations of Computer Science - Andrzej Tarlecki.pdf b/...al Algebra and) Category Theory in Foundations of Computer Science - Andrzej Tarlecki.pdf
diff --git a/.DS_Store b/.DS_Store
diff --git a/.gitignore b/.gitignore
diff --git a/A Curious Course on Coroutines and Concurrency.pdf b/A Curious Course on Coroutines and Concurrency.pdf
diff --git a/A Denotational Approach to Measuring Complexity in Functional Programs.pdf b/A Denotational Approach to Measuring Complexity in Functional Programs.pdf
diff --git a/A Functional Approach to Memory-Safe Operating Systems.pdf b/A Functional Approach to Memory-Safe Operating Systems.pdf
diff --git a/A Gentle Introduction to Type Classes and Relations in Coq.pdf b/A Gentle Introduction to Type Classes and Relations in Coq.pdf
diff --git a/A Type Theory for Memory Allocation and Data Layout.pdf b/A Type Theory for Memory Allocation and Data Layout.pdf
diff --git a/A categorical setting for lower complexity.pdf b/A categorical setting for lower complexity.pdf
diff --git a/Adjoint Folds and Unfolds Or- Scything Through the Thicket of Morphisms.pdf b/Adjoint Folds and Unfolds Or- Scything Through the Thicket of Morphisms.pdf
diff --git a/Adjointness in Foundations.pdf b/Adjointness in Foundations.pdf
diff --git a/Adjunctions - slides.pdf b/Adjunctions - slides.pdf
diff --git a/Algebra of Programming using Dependent Types.pdf b/Algebra of Programming using Dependent Types.pdf
diff --git a/... Mathematics of Program Construction(LNCS2297, Springer, 2002)(ISBN 3540436138)(400s).pdf b/... Mathematics of Program Construction(LNCS2297, Springer, 2002)(ISBN 3540436138)(400s).pdf
diff --git a/Algebras, polynomials, & programs.pdf b/Algebras, polynomials, & programs.pdf
diff --git a/Algorithmics.pdf b/Algorithmics.pdf
diff --git a/Algorithms_ Part I, 4th Edition.pdf b/Algorithms_ Part I, 4th Edition.pdf
diff --git a/Algorithms_ Part II, 4th Edition.pdf b/Algorithms_ Part II, 4th Edition.pdf
diff --git a/...ras and (Co)Induction and their Application to the Semantics of Programming Languages.pdf b/...ras and (Co)Induction and their Application to the Semantics of Programming Languages.pdf
diff --git a/An Introduction to Topos Theory.pdf b/An Introduction to Topos Theory.pdf
diff --git a/An Investigation of the Laws of Traversals.pdf b/An Investigation of the Laws of Traversals.pdf
diff --git a/An algebra of scans.pdf b/An algebra of scans.pdf
diff --git a/An introduction to Yoneda structures.pdf b/An introduction to Yoneda structures.pdf
diff --git a/Applicative Programming with effects.pdf b/Applicative Programming with effects.pdf
diff --git a/Arrows and Computation - slides.pdf b/Arrows and Computation - slides.pdf
diff --git a/Arrows are Strong Monads.pdf b/Arrows are Strong Monads.pdf
diff --git a/Calculating Correct Compilers.pdf b/Calculating Correct Compilers.pdf
diff --git a/Cartesian Closed Categories CCC - Andrzej Tarlecki.pdf b/Cartesian Closed Categories CCC - Andrzej Tarlecki.pdf
diff --git a/Categorical Programming with Inductive and Coinductive Types.pdf b/Categorical Programming with Inductive and Coinductive Types.pdf
diff --git a/Categorical semantics and composition of tree transducers.pdf b/Categorical semantics and composition of tree transducers.pdf
diff --git a/Categories for the working mathematician.pdf b/Categories for the working mathematician.pdf
diff --git a/Categorifying Computations into Components via Arrows as Profunctors.pdf b/Categorifying Computations into Components via Arrows as Profunctors.pdf
diff --git a/Category theory for Computer Science - Andrzej Tarlecki.pdf b/Category theory for Computer Science - Andrzej Tarlecki.pdf
diff --git a/Certified Programming with Dependent Types.pdf b/Certified Programming with Dependent Types.pdf
diff --git a/Comonadic Notions of Computation.pdf b/Comonadic Notions of Computation.pdf
diff --git a/Comonadic notions of computation vene-slides.pdf b/Comonadic notions of computation vene-slides.pdf
diff --git a/Comonads - Musings on Signals and Comonads.pdf b/Comonads - Musings on Signals and Comonads.pdf
diff --git a/Compilation a la Carte.pdf b/Compilation a la Carte.pdf
diff --git a/...ing Data Types A Closed Type Families Implementation of Data Types `a la Carte-slides.pdf b/...ing Data Types A Closed Type Families Implementation of Data Types `a la Carte-slides.pdf
diff --git a/...ecomposing Data Types A Closed Type Families Implementation of Data Types a` la Carte.pdf b/...ecomposing Data Types A Closed Type Families Implementation of Data Types a` la Carte.pdf
diff --git a/Compositional Application Architecture With Reasonably Priced Monads.pdf b/Compositional Application Architecture With Reasonably Priced Monads.pdf
diff --git a/Constructing Applicative Functors.pdf b/Constructing Applicative Functors.pdf
diff --git a/Constructing tournament representations: An exercise in pointwise relational programming.pdf b/Constructing tournament representations: An exercise in pointwise relational programming.pdf
diff --git a/Denotational Design from meanings to programs Conal Elliott - lambdajam-2014.pdf b/Denotational Design from meanings to programs Conal Elliott - lambdajam-2014.pdf
diff --git a/Denotational Design from meanings to programs Conal Elliott.pdf b/Denotational Design from meanings to programs Conal Elliott.pdf
diff --git a/Denotational design with type class morphisms (extended version).pdf b/Denotational design with type class morphisms (extended version).pdf
diff --git a/Derivation of a Typed Functional LR Parser.pdf b/Derivation of a Typed Functional LR Parser.pdf
diff --git a/FUNCTIONAL PEARL Kleisli arrows of outrageous fortune - paper- .pdf b/FUNCTIONAL PEARL Kleisli arrows of outrageous fortune - paper- .pdf
diff --git a/FUNCTIONAL PEARLS [ABORTED] A trail told by an idiom.pdf b/FUNCTIONAL PEARLS [ABORTED] A trail told by an idiom.pdf
diff --git a/...gless, Partially Evaluated* - Tagless Staged Interpreters for Simpler Typed Languages.pdf b/...gless, Partially Evaluated* - Tagless Staged Interpreters for Simpler Typed Languages.pdf
diff --git a/... tagless, partially evaluated Tagless staged interpreters for simpler typed languages.pdf b/... tagless, partially evaluated Tagless staged interpreters for simpler typed languages.pdf
diff --git a/Folding Domain-Specific Languages: Deep and Shallow Embeddings.pdf b/Folding Domain-Specific Languages: Deep and Shallow Embeddings.pdf
diff --git a/Free Theorems Involving Type Constructor Classes Functional Pearl.pdf b/Free Theorems Involving Type Constructor Classes Functional Pearl.pdf
diff --git a/Freyd is Kleisli for Arrows - slides.pdf b/Freyd is Kleisli for Arrows - slides.pdf
diff --git a/Freyd is Kleisli, for Arrows.pdf b/Freyd is Kleisli, for Arrows.pdf
diff --git a/Fun With Type Functions-Slides.pdf b/Fun With Type Functions-Slides.pdf
diff --git a/Fun with Type Functions.pdf b/Fun with Type Functions.pdf
diff --git a/Functional Pearl - Be Kind Rewind Jeremy Gibbons.pdf b/Functional Pearl - Be Kind Rewind Jeremy Gibbons.pdf
diff --git a/...tional Pearl - Comprehensive Encoding of Data Types and Algorithms in the λ-Calculus .pdf b/...tional Pearl - Comprehensive Encoding of Data Types and Algorithms in the λ-Calculus .pdf
diff --git a/Functional Pearl - The Zipper.pdf b/Functional Pearl - The Zipper.pdf
diff --git a/Functional Pearl A fresh look at binary search trees.pdf b/Functional Pearl A fresh look at binary search trees.pdf
diff --git a/Functional Pearl- La Tour D’Hano ̈ı.pdf b/Functional Pearl- La Tour D’Hano ̈ı.pdf
diff --git a/Functional Pearl- Streams and Unique Fixed Points.pdf b/Functional Pearl- Streams and Unique Fixed Points.pdf
diff --git a/Functional Pearls Explaining Binomial Heaps.pdf b/Functional Pearls Explaining Binomial Heaps.pdf
diff --git a/Functional Programming for Domain−Specific Languages.pdf b/Functional Programming for Domain−Specific Languages.pdf
diff --git a/Functional Programming in Scala.pdf b/Functional Programming in Scala.pdf
diff --git a/... Some Algebraic Problems in The Context of Functorial Semantics of Algebraic Theories.pdf b/... Some Algebraic Problems in The Context of Functorial Semantics of Algebraic Theories.pdf
diff --git a/Functors and Natural Transformations - Andrzej Tarlecki.pdf b/Functors and Natural Transformations - Andrzej Tarlecki.pdf
diff --git a/Generalizing Determinization From Automata to Coalgebras.pdf b/Generalizing Determinization From Automata to Coalgebras.pdf
diff --git a/Generic Programming -An Introduction-.pdf b/Generic Programming -An Introduction-.pdf
diff --git a/Generic Programming Prim (Co)Recursion and C-o-V (Co)Iteration Categorically Slides.pdf b/Generic Programming Prim (Co)Recursion and C-o-V (Co)Iteration Categorically Slides.pdf
diff --git a/Generic Programming with Adjunctions-slides.pdf b/Generic Programming with Adjunctions-slides.pdf
diff --git a/Generic Programming with Adjunctions.pdf b/Generic Programming with Adjunctions.pdf
diff --git a/Generic Programming with relations and functors.pdf b/Generic Programming with relations and functors.pdf
diff --git a/Generic Properies of Datatypes.pdf b/Generic Properies of Datatypes.pdf
diff --git a/Generic and Indexed Programming - Jeremy Gibbons.pdf b/Generic and Indexed Programming - Jeremy Gibbons.pdf
diff --git a/Generic and Indexed Programming.pdf b/Generic and Indexed Programming.pdf
diff --git a/..., a General Purpose Dependently Typed Programming Language: Design and Implementation.pdf b/..., a General Purpose Dependently Typed Programming Language: Design and Implementation.pdf
diff --git a/Institutions - Andrzej Tarlecki.pdf b/Institutions - Andrzej Tarlecki.pdf
diff --git a/Introduction to Category Theory, Algebras & Coalgebra.pdf b/Introduction to Category Theory, Algebras & Coalgebra.pdf
diff --git a/Jacobs B. Categorical Logic and Type Theory.pdf b/Jacobs B. Categorical Logic and Type Theory.pdf
diff --git a/Knowledge Representation and Reasoning.pdf b/Knowledge Representation and Reasoning.pdf
diff --git a/Lamba Calculi with Types.pdf b/Lamba Calculi with Types.pdf
diff --git a/Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic.pdf b/Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic.pdf
diff --git a/Lecture Notes on Denotational Semantics.pdf b/Lecture Notes on Denotational Semantics.pdf
diff --git a/Lectures on Dependent Type Theory - notes-gambino.pdf b/Lectures on Dependent Type Theory - notes-gambino.pdf
diff --git a/Lectures on Semantics- The initial algebra and final coalgebra perspectives.pdf b/Lectures on Semantics- The initial algebra and final coalgebra perspectives.pdf
diff --git a/Leinster T. The Yoneda Lemma.pdf b/Leinster T. The Yoneda Lemma.pdf
diff --git a/Less Is More Generic Programming Theory and Practice.pdf b/Less Is More Generic Programming Theory and Practice.pdf
diff --git a/Logic Modelling Reasoning.pdf b/Logic Modelling Reasoning.pdf
diff --git a/Logical Specifications for Functional Programs.pdf b/Logical Specifications for Functional Programs.pdf
diff --git a/Manufacturing Datatypes.pdf b/Manufacturing Datatypes.pdf
diff --git a/Modular Type Classes.pdf b/Modular Type Classes.pdf
diff --git a/Modularising inductive families.pdf b/Modularising inductive families.pdf
diff --git a/Modularity and Implementation of Mathematical Operational Semantics.pdf b/Modularity and Implementation of Mathematical Operational Semantics.pdf
diff --git a/Monad Transformer and Modular-interpreters.pdf b/Monad Transformer and Modular-interpreters.pdf
diff --git a/Monadic Functional Reactive Programming-talk.pdf b/Monadic Functional Reactive Programming-talk.pdf
diff --git a/Monadic Functional Reactive Programming.pdf b/Monadic Functional Reactive Programming.pdf
diff --git a/Monads are Trees with Grafting.pdf b/Monads are Trees with Grafting.pdf
diff --git a/Monads for behaviour.pdf b/Monads for behaviour.pdf
diff --git a/Monads for functional programming.pdf b/Monads for functional programming.pdf
diff --git a/Monads for natural language semantics.pdf b/Monads for natural language semantics.pdf
diff --git a/Monoids- Theme and Variations (Functional Pearl).pdf b/Monoids- Theme and Variations (Functional Pearl).pdf
diff --git a/Notes on Universes in Type Theory.pdf b/Notes on Universes in Type Theory.pdf
diff --git a/Notes on “Algebra of Programming” .pdf b/Notes on “Algebra of Programming” .pdf
diff --git a/Notions of computation and monads.pdf b/Notions of computation and monads.pdf
diff --git a/On Understanding Types, Data Abstraction, and Polymorphism.pdf b/On Understanding Types, Data Abstraction, and Polymorphism.pdf
diff --git a/Packet Guide to Core Network Protocols.pdf b/Packet Guide to Core Network Protocols.pdf
diff --git a/Parametric Compositional Data Types-slides (full).pdf b/Parametric Compositional Data Types-slides (full).pdf
diff --git a/Parametric Compositional Data Types.pdf b/Parametric Compositional Data Types.pdf
diff --git a/...-Lof On the Meanings of the Logical Constants & THE Justification of the Logical Laws.pdf b/...-Lof On the Meanings of the Logical Constants & THE Justification of the Logical Laws.pdf
diff --git a/Program Semantics & Verification-intro.pdf b/Program Semantics & Verification-intro.pdf
diff --git a/Program Semantics & Verification-Working example-tiny.pdf b/Program Semantics & Verification-Working example-tiny.pdf
diff --git a/Programming and Reasoning with Algebraic Effects and Dependent Types.pdf b/Programming and Reasoning with Algebraic Effects and Dependent Types.pdf
diff --git a/Programming and Reasoning with Side-Effects in IDRIS.pdf b/Programming and Reasoning with Side-Effects in IDRIS.pdf
diff --git a/Programming in IDRIS: A Tutorial.pdf b/Programming in IDRIS: A Tutorial.pdf
diff --git a/Programming with Arrows.pdf b/Programming with Arrows.pdf
diff --git a/Proofs and Types.pdf b/Proofs and Types.pdf
diff --git a/Push-Pull Functional Reactive Programming-slides.pdf b/Push-Pull Functional Reactive Programming-slides.pdf
diff --git a/Push-Pull Functional Reactive Programming.pdf b/Push-Pull Functional Reactive Programming.pdf
diff --git a/Quantifiers and Sheaves.pdf b/Quantifiers and Sheaves.pdf
diff --git a/Real World Haskell - Oreilly.pdf b/Real World Haskell - Oreilly.pdf
diff --git a/Real World OCaml.pdf b/Real World OCaml.pdf
diff --git a/Reason Isomorphically!.pdf b/Reason Isomorphically!.pdf
diff --git a/Reasoning About Effects: Seeing the Wood Through the Trees (Extended Version).pdf b/Reasoning About Effects: Seeing the Wood Through the Trees (Extended Version).pdf
diff --git a/Recursive Coalgebras from Comonads.pdf b/Recursive Coalgebras from Comonads.pdf
diff --git a/SQL and Relational Theory, 2nd Edition.pdf b/SQL and Relational Theory, 2nd Edition.pdf
diff --git a/Semantics-Driven DSL Design.pdf b/Semantics-Driven DSL Design.pdf
diff --git a/Sheaf Semantics for Physicaly Motivated Network Description with Applications.pdf b/Sheaf Semantics for Physicaly Motivated Network Description with Applications.pdf
diff --git a/Sheaves, Objects and Distributed Systems.pdf b/Sheaves, Objects and Distributed Systems.pdf
diff --git a/Simply efficient functional reactivity.pdf b/Simply efficient functional reactivity.pdf
diff --git a/Sites & Sheaves.pdf b/Sites & Sheaves.pdf
diff --git a/SlicingIt.pdf b/SlicingIt.pdf
diff --git a/Squiggoling with Bialgebras Recursion Schemes from Comonads Revisited.pdf b/Squiggoling with Bialgebras Recursion Schemes from Comonads Revisited.pdf
diff --git a/Strongly Typed Heterogeneous Collections.pdf b/Strongly Typed Heterogeneous Collections.pdf
diff --git a/StructuredProgrammingGADT.pdf b/StructuredProgrammingGADT.pdf
diff --git a/Sum of product data types ocaml-data.pdf b/Sum of product data types ocaml-data.pdf
diff --git a/THEORETICAL PEARL - Church numerals, twice!.pdf b/THEORETICAL PEARL - Church numerals, twice!.pdf
diff --git a/The Derivative of a Regular Type is its Type of One-Hole Contexts.pdf b/The Derivative of a Regular Type is its Type of One-Hole Contexts.pdf
diff --git a/The Java Virtual Machine Specification Java SE 8 Edition.pdf b/The Java Virtual Machine Specification Java SE 8 Edition.pdf
diff --git a/The Monad Reader Issue - 11.pdf b/The Monad Reader Issue - 11.pdf
diff --git a/The Monad Reader Issue 11.pdf b/The Monad Reader Issue 11.pdf
diff --git a/The Monad Reader Issue 12.pdf b/The Monad Reader Issue 12.pdf
diff --git a/The Monad Reader Issue 13.pdf b/The Monad Reader Issue 13.pdf
diff --git a/The Monad Reader Issue 15.pdf b/The Monad Reader Issue 15.pdf
diff --git a/The Monad Reader Issue 16.pdf b/The Monad Reader Issue 16.pdf
diff --git a/The Monad Reader Issue 17.pdf b/The Monad Reader Issue 17.pdf
diff --git a/The Monad Reader Issue 19.pdf b/The Monad Reader Issue 19.pdf
diff --git a/The Monad Reader Issue 21.pdf b/The Monad Reader Issue 21.pdf
diff --git a/The Monad Reader Issue 22.pdf b/The Monad Reader Issue 22.pdf
diff --git a/The Monad Reader Issue 6.pdf b/The Monad Reader Issue 6.pdf
diff --git a/The Monad Reader Issue 7.pdf b/The Monad Reader Issue 7.pdf
diff --git a/The Reader Monad for Dependency Injection.pdf b/The Reader Monad for Dependency Injection.pdf
diff --git a/The Yoneda Lemma - what's it all about.pdf b/The Yoneda Lemma - what's it all about.pdf
diff --git a/Theorems for Free!.pdf b/Theorems for Free!.pdf
diff --git a/There and Back Again Arrows for Invertible Programming.pdf b/There and Back Again Arrows for Invertible Programming.pdf
diff --git a/Towards a Categorical Foundation for Generic Programming.pdf b/Towards a Categorical Foundation for Generic Programming.pdf
diff --git a/...l Semantics for Linear-Time Temporal Logic and Functional Reactive Programming-slides.pdf b/...l Semantics for Linear-Time Temporal Logic and Functional Reactive Programming-slides.pdf
diff --git a/...egorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming.pdf b/...egorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming.pdf
diff --git a/Translating Types and Eects with State Monads and Linear Logic.pdf b/Translating Types and Eects with State Monads and Linear Logic.pdf
diff --git a/Types For Programming And Reasoning.pdf b/Types For Programming And Reasoning.pdf
diff --git a/Types, Abstraction And Parametric Polymorphism.pdf b/Types, Abstraction And Parametric Polymorphism.pdf
diff --git a/Unifying Structured Recursion Schemes.pdf b/Unifying Structured Recursion Schemes.pdf
diff --git a/Using Circular Programs for Higher-Order Syntax - functional pearl.pdf b/Using Circular Programs for Higher-Order Syntax - functional pearl.pdf
diff --git a/Using category theory to design implicit conversions and generic operators.pdf b/Using category theory to design implicit conversions and generic operators.pdf
diff --git a/Vene V. Coding Recursion a la Mendler.pdf b/Vene V. Coding Recursion a la Mendler.pdf
diff --git a/WGP11.pdf b/WGP11.pdf
diff --git a/Well-pointed coalgebras.pdf b/Well-pointed coalgebras.pdf
diff --git a/What Does Monad Mean.pdf b/What Does Monad Mean.pdf
diff --git a/What is Categorical Type Theory?.pdf b/What is Categorical Type Theory?.pdf
diff --git a/What is a model of type theory?.pdf b/What is a model of type theory?.pdf
diff --git a/WhatIsAStack.pdf b/WhatIsAStack.pdf
diff --git a/When is a function a fold or an unfold.pdf b/When is a function a fold or an unfold.pdf
diff --git a/Work It, Wrap It, Fix It, Fold It (Extended Version) .pdf b/Work It, Wrap It, Fix It, Fold It (Extended Version) .pdf
diff --git a/Worker:Wrapper:Makes it:Faster.pdf b/Worker:Wrapper:Makes it:Faster.pdf
diff --git a/Yoneda Structures on 2-Categories.pdf b/Yoneda Structures on 2-Categories.pdf
diff --git a/arrows-and-idioms.pdf b/arrows-and-idioms.pdf
diff --git a/art-of-incremental-stream-processing.pdf b/art-of-incremental-stream-processing.pdf
diff --git a/calc-comp-master/Arith.v b/calc-comp-master/Arith.v
diff --git a/calc-comp-master/Exceptions.v b/calc-comp-master/Exceptions.v
diff --git a/calc-comp-master/ExceptionsTwoCont.v b/calc-comp-master/ExceptionsTwoCont.v
diff --git a/calc-comp-master/Heap.v b/calc-comp-master/Heap.v
diff --git a/calc-comp-master/Lambda.v b/calc-comp-master/Lambda.v
diff --git a/calc-comp-master/LambdaCBName.v b/calc-comp-master/LambdaCBName.v
diff --git a/calc-comp-master/LambdaCBNeed.v b/calc-comp-master/LambdaCBNeed.v
diff --git a/calc-comp-master/ListIndex.v b/calc-comp-master/ListIndex.v
diff --git a/calc-comp-master/Loop.v b/calc-comp-master/Loop.v
diff --git a/calc-comp-master/Makefile b/calc-comp-master/Makefile
diff --git a/calc-comp-master/README.md b/calc-comp-master/README.md
diff --git a/calc-comp-master/StateGlobal.v b/calc-comp-master/StateGlobal.v
diff --git a/calc-comp-master/StateLocal.v b/calc-comp-master/StateLocal.v
diff --git a/calc-comp-master/Tactics.v b/calc-comp-master/Tactics.v
diff --git a/calc-comp-master/makecoq b/calc-comp-master/makecoq
diff --git a/ccc.ppt b/ccc.ppt
diff --git a/compdata-param-master/.gitignore b/compdata-param-master/.gitignore
diff --git a/compdata-param-master/LICENSE b/compdata-param-master/LICENSE
diff --git a/compdata-param-master/Setup.hs b/compdata-param-master/Setup.hs
diff --git a/compdata-param-master/compdata-param.cabal b/compdata-param-master/compdata-param.cabal
diff --git a/compdata-param-master/examples/Examples/Graph.hs b/compdata-param-master/examples/Examples/Graph.hs
diff --git a/compdata-param-master/examples/Examples/Lambda.hs b/compdata-param-master/examples/Examples/Lambda.hs
diff --git a/compdata-param-master/examples/Examples/Multi/FOL.hs b/compdata-param-master/examples/Examples/Multi/FOL.hs
diff --git a/compdata-param-master/examples/Examples/Multi/Lambda.hs b/compdata-param-master/examples/Examples/Multi/Lambda.hs
diff --git a/compdata-param-master/examples/Examples/Names.hs b/compdata-param-master/examples/Examples/Names.hs
diff --git a/compdata-param-master/examples/Examples/Thunk.hs b/compdata-param-master/examples/Examples/Thunk.hs
diff --git a/compdata-param-master/src/Data/Comp/Param.hs b/compdata-param-master/src/Data/Comp/Param.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Algebra.hs b/compdata-param-master/src/Data/Comp/Param/Algebra.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Annotation.hs b/compdata-param-master/src/Data/Comp/Param/Annotation.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Derive.hs b/compdata-param-master/src/Data/Comp/Param/Derive.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Derive/Difunctor.hs b/compdata-param-master/src/Data/Comp/Param/Derive/Difunctor.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Derive/Ditraversable.hs b/compdata-param-master/src/Data/Comp/Param/Derive/Ditraversable.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Derive/Equality.hs b/compdata-param-master/src/Data/Comp/Param/Derive/Equality.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Derive/Injections.hs b/compdata-param-master/src/Data/Comp/Param/Derive/Injections.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Derive/LiftSum.hs b/compdata-param-master/src/Data/Comp/Param/Derive/LiftSum.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Derive/Ordering.hs b/compdata-param-master/src/Data/Comp/Param/Derive/Ordering.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Derive/Projections.hs b/compdata-param-master/src/Data/Comp/Param/Derive/Projections.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Derive/Show.hs b/compdata-param-master/src/Data/Comp/Param/Derive/Show.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Derive/SmartAConstructors.hs b/compdata-param-master/src/Data/Comp/Param/Derive/SmartAConstructors.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Derive/SmartConstructors.hs b/compdata-param-master/src/Data/Comp/Param/Derive/SmartConstructors.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Desugar.hs b/compdata-param-master/src/Data/Comp/Param/Desugar.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Difunctor.hs b/compdata-param-master/src/Data/Comp/Param/Difunctor.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Ditraversable.hs b/compdata-param-master/src/Data/Comp/Param/Ditraversable.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Equality.hs b/compdata-param-master/src/Data/Comp/Param/Equality.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/FreshM.hs b/compdata-param-master/src/Data/Comp/Param/FreshM.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi.hs b/compdata-param-master/src/Data/Comp/Param/Multi.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Algebra.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Algebra.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Annotation.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Annotation.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Derive.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Derive.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Derive/Equality.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Derive/Equality.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Derive/HDifunctor.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Derive/HDifunctor.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Derive/Injections.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Derive/Injections.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Derive/LiftSum.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Derive/LiftSum.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Derive/Ordering.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Derive/Ordering.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Derive/Projections.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Derive/Projections.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Derive/Show.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Derive/Show.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Derive/SmartAConstructors.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Derive/SmartAConstructors.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Derive/SmartConstructors.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Derive/SmartConstructors.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Desugar.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Desugar.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Equality.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Equality.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/FreshM.hs b/compdata-param-master/src/Data/Comp/Param/Multi/FreshM.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/HDifunctor.hs b/compdata-param-master/src/Data/Comp/Param/Multi/HDifunctor.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/HDitraversable.hs b/compdata-param-master/src/Data/Comp/Param/Multi/HDitraversable.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Ops.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Ops.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Ordering.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Ordering.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Show.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Show.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Sum.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Sum.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Multi/Term.hs b/compdata-param-master/src/Data/Comp/Param/Multi/Term.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Ops.hs b/compdata-param-master/src/Data/Comp/Param/Ops.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Ordering.hs b/compdata-param-master/src/Data/Comp/Param/Ordering.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Show.hs b/compdata-param-master/src/Data/Comp/Param/Show.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Sum.hs b/compdata-param-master/src/Data/Comp/Param/Sum.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Term.hs b/compdata-param-master/src/Data/Comp/Param/Term.hs
diff --git a/compdata-param-master/src/Data/Comp/Param/Thunk.hs b/compdata-param-master/src/Data/Comp/Param/Thunk.hs
diff --git a/compdata-param-master/testsuite/tests/Data/Comp/Examples/MultiParam.hs b/compdata-param-master/testsuite/tests/Data/Comp/Examples/MultiParam.hs
diff --git a/compdata-param-master/testsuite/tests/Data/Comp/Examples/Param.hs b/compdata-param-master/testsuite/tests/Data/Comp/Examples/Param.hs
diff --git a/compdata-param-master/testsuite/tests/Data/Comp/Examples_Test.hs b/compdata-param-master/testsuite/tests/Data/Comp/Examples_Test.hs
diff --git a/compdata-param-master/testsuite/tests/Tests.hs b/compdata-param-master/testsuite/tests/Tests.hs
diff --git a/compdata-param-master/upload-doc b/compdata-param-master/upload-doc
diff --git a/just do it - simple equational monadic reasoning.pdf b/just do it - simple equational monadic reasoning.pdf
diff --git a/learning-scalaz.pdf b/learning-scalaz.pdf
diff --git a/limits.pdf b/limits.pdf
diff --git a/monads.pdf b/monads.pdf
diff --git a/push-pull-frp-slides.pdf b/push-pull-frp-slides.pdf
diff --git a/reader-monad-for-di.pdf b/reader-monad-for-di.pdf
diff --git a/univ-algebra2012.pdf b/univ-algebra2012.pdf
diff --git a/universal_coalgebra.pdf b/universal_coalgebra.pdf
diff --git a/wgp10-genstorage.pdf b/wgp10-genstorage.pdf