From e5d455c2fdd86c4fc060c5f37ab8f6d3c48f76a4 Mon Sep 17 00:00:00 2001 From: Yann Esposito Date: Mon, 3 Dec 2012 17:15:40 +0100 Subject: [PATCH] updating --- categories.html | 61 +++++++++++++++--- categories/10_Introduction/020_Plan.html | 2 +- categories/10_Introduction/060_Plan.html | 13 ++++ ...raction.html => 070_Math_Abstraction.html} | 0 ...alization.html => 080_Generalization.html} | 0 ...umbers_Sets.html => 090_Numbers_Sets.html} | 1 + .../10_Introduction/100_Category_Theory.html | 11 ---- ...tegories.html => 100_Sets_Categories.html} | 0 .../10_Introduction/110_Category_Theory.html | 13 ++++ categories/10_Introduction/120_Plan.html | 13 ++++ ....html => 130_Programming_Abstraction.html} | 4 +- ...html => 140_Untyped_Pure_Programming.html} | 2 +- .../150_Untyped_Pure_Programming.html | 6 ++ ...g.html => 160_Typed_Pure_Programming.html} | 0 ...end.html => 170_Polymorphism_mappend.html} | 0 ...olymorphism.html => 180_Polymorphism.html} | 0 ...ms.html => 190_Programming_Paradigms.html} | 0 ...s.html => 200_Type_Theory_Categories.html} | 0 categories/head.html | 2 +- categories/img/mp/pipe.mp | 54 ++++++++++------ categories/img/mp/pipe.png | Bin 39552 -> 59332 bytes themes/style/y/main.css | 21 ++++-- themes/style/y/main.sass | 19 +++++- 23 files changed, 173 insertions(+), 49 deletions(-) create mode 100644 categories/10_Introduction/060_Plan.html rename categories/10_Introduction/{060_Abstraction.html => 070_Math_Abstraction.html} (100%) rename categories/10_Introduction/{070_Generalization.html => 080_Generalization.html} (100%) rename categories/10_Introduction/{080_Numbers_Sets.html => 090_Numbers_Sets.html} (79%) delete mode 100644 categories/10_Introduction/100_Category_Theory.html rename categories/10_Introduction/{090_Sets_Categories.html => 100_Sets_Categories.html} (100%) create mode 100644 categories/10_Introduction/110_Category_Theory.html create mode 100644 categories/10_Introduction/120_Plan.html rename categories/10_Introduction/{110_Programming_Abstraction.html => 130_Programming_Abstraction.html} (74%) rename categories/10_Introduction/{120_Untyped_Pure_Programming.html => 140_Untyped_Pure_Programming.html} (92%) create mode 100644 categories/10_Introduction/150_Untyped_Pure_Programming.html rename categories/10_Introduction/{130_Typed_Pure_Programming.html => 160_Typed_Pure_Programming.html} (100%) rename categories/10_Introduction/{140_Polymorphism_mappend.html => 170_Polymorphism_mappend.html} (100%) rename categories/10_Introduction/{150_Polymorphism.html => 180_Polymorphism.html} (100%) rename categories/10_Introduction/{160_Programming_Paradigms.html => 190_Programming_Paradigms.html} (100%) rename categories/10_Introduction/{170_Type_Theory_Categories.html => 200_Type_Theory_Categories.html} (100%) diff --git a/categories.html b/categories.html index 8a91794..3f10073 100644 --- a/categories.html +++ b/categories.html @@ -43,7 +43,7 @@ } - +
\(\newcommand{\F}{\mathbf{F}}\) @@ -89,7 +89,7 @@