From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/category-theory/Adjoints.gf | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 examples/category-theory/Adjoints.gf (limited to 'examples/category-theory/Adjoints.gf') diff --git a/examples/category-theory/Adjoints.gf b/examples/category-theory/Adjoints.gf deleted file mode 100644 index b4987228d..000000000 --- a/examples/category-theory/Adjoints.gf +++ /dev/null @@ -1,16 +0,0 @@ -abstract Adjoints = NaturalTransform ** { - - ---------------------------------------------------------- - -- Adjoint functors - pair of functors such that - -- there is a natural transformation from the identity - -- functor to the composition of the functors. - - cat Adjoints ({c1,c2} : Category) (Functor c1 c2) (Functor c2 c1) ; - - data adjoints : ({c1,c2} : Category) - -> (f : Functor c1 c2) - -> (g : Functor c2 c1) - -> NT (idF c1) (compF g f) - -> Adjoints f g ; - -} -- cgit v1.2.3