diff --git a/reactive-banana/src/examples.md b/ExampleIdeas.md
similarity index 96%
rename from reactive-banana/src/examples.md
rename to ExampleIdeas.md
index a3aafb84..b12e7fc0 100644
--- a/reactive-banana/src/examples.md
+++ b/ExampleIdeas.md
@@ -1,5 +1,6 @@
-Examples
-========
+Ideas for Example applications
+==============================
+
 http://comments.gmane.org/gmane.comp.lang.haskell.cafe/90908
 http://www.reddit.com/r/haskell/comments/ijsnv/call_for_gui_examples_any_small_gui_applications/
 http://apfelmus.nfshost.com/blog/2011/07/08-call-for-gui-examples.html
diff --git a/reactive-banana/doc/snippets.md b/reactive-banana/doc/snippets.md
deleted file mode 100644
index 0f02cac3..00000000
--- a/reactive-banana/doc/snippets.md
+++ /dev/null
@@ -1,45 +0,0 @@
-Note on GUIs and FRP
-====================
-
-First, note that the `Blackboard` application is not making much use of `wxHaskell`, I'm even drawing my own controls. That is probably kind of disappointing, since other FRP approaches Yampa can do the same thing. However, my FRP approach is very flexible and it is absolutely no problem to hook it up to `wxHaskell` or `Gtk2hs`, I'm just not making use of that in my application.
-
-
-Short overview of the FRP library
-=================================
-
-The key data types are `Event a` and `Behavior a`. The former represents a series of events that carry a value of type  a , the latter represents a value of type  a  that varies in time. You can *think* of them as
-
-    type Event a    = [(Time,a)]  -- stream of events
-    type Behavior a = Time -> a   -- time-varying value
-
-
-THE FOLLOWING IS NO LONGER TRUE:
-
-This is a bit too optimistic because  Behavior a  is a *piecewise* function, i.e. we can convert `Event a` and `Behavior a` via
-    
-    changes :: Behavior a -> Event a
-    initial :: Behavior a -> a
-    
-    Behavior :: a -> Event a -> Behavior a  -- constructor
-
-Despite this similarity, they are quite distinct. The core functionality is given by functions which you can *think* of being implemented as follows:
-
-   -- accumulate a series of events into a behavior
-   accumulate :: (a -> b -> b) -> b -> Event a -> Behavior b
-   accumulate f b0 es = Behavior b0 (go f b0 es)
-        where
-        go f b ((time, a):es) = let b' = f a b in (time, b') : go f b' es
-
-   -- applicative instance
-   instance Applicative Behavior where
-        pure x  = \time -> x
-        f <*> x = \time -> f time $ x time 
-
-   -- apply a time-varying function to a series of events
-   apply :: Behavior (a -> b) -> Event a -> Event b
-   apply f = map (\(time,a) -> (time, f time a))
-
-Note that `apply` and `(<*>)` have similar types, but different semantics! In the case of `apply`, changes in the first argument do not trigger events in the result.
-
-
-