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

1 files changed, 0 insertions, 16 deletions

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 ;

-

-}