+
+
+
+Example
+-------
+
+This example demonstrates using a function defined in this sample library.
+
+*)
+#r "Higher.dll"
+open Higher
+
+printfn "hello = %i" <| Library.hello 0
+
+(**
+Some more info
+
+Samples & documentation
+-----------------------
+
+The library comes with comprehensible documentation.
+It can include tutorials automatically generated from `*.fsx` files in [the content folder][content].
+The API reference is automatically generated from Markdown comments in the library implementation.
+
+ * [Tutorial](tutorial.html) contains a further explanation of this sample library.
+
+ * [API Reference](reference/index.html) contains automatically generated documentation for all types, modules
+ and functions in the library. This includes additional brief samples on using most of the
+ functions.
+
+Contributing and copyright
+--------------------------
+
+The project is hosted on [GitHub][gh] where you can [report issues][issues], fork
+the project and submit pull requests. If you're adding a new public API, please also
+consider adding [samples][content] that can be turned into a documentation. You might
+also want to read the [library design notes][readme] to understand how it works.
+
+The library is available under Public Domain license, which allows modification and
+redistribution for both commercial and non-commercial purposes. For more information see the
+[License file][license] in the GitHub repository.
+
+ [content]: https://github.com/fsprojects/Higher/tree/master/docs/content
+ [gh]: https://github.com/fsprojects/Higher
+ [issues]: https://github.com/fsprojects/Higher/issues
+ [readme]: https://github.com/fsprojects/Higher/blob/master/README.md
+ [license]: https://github.com/fsprojects/Higher/blob/master/LICENSE.txt
+*)
diff --git a/docs/content/tutorial.fsx b/docs/content/tutorial.fsx
new file mode 100644
index 0000000..2501c0e
--- /dev/null
+++ b/docs/content/tutorial.fsx
@@ -0,0 +1,19 @@
+(*** hide ***)
+// This block of code is omitted in the generated HTML documentation. Use
+// it to define helpers that you do not want to show in the documentation.
+#I "../../bin"
+
+(**
+Introducing your project
+========================
+
+Say more
+
+*)
+#r "Higher.dll"
+open Higher
+
+Library.hello 0
+(**
+Some more info
+*)
diff --git a/docs/files/img/logo-template.pdn b/docs/files/img/logo-template.pdn
new file mode 100644
index 0000000..52606f5
Binary files /dev/null and b/docs/files/img/logo-template.pdn differ
diff --git a/docs/files/img/logo.png b/docs/files/img/logo.png
new file mode 100644
index 0000000..8a2b81b
Binary files /dev/null and b/docs/files/img/logo.png differ
diff --git a/docs/tools/generate.fsx b/docs/tools/generate.fsx
new file mode 100644
index 0000000..db6f3bb
--- /dev/null
+++ b/docs/tools/generate.fsx
@@ -0,0 +1,145 @@
+// --------------------------------------------------------------------------------------
+// Builds the documentation from `.fsx` and `.md` files in the 'docs/content' directory
+// (the generated documentation is stored in the 'docs/output' directory)
+// --------------------------------------------------------------------------------------
+
+// Binaries that have XML documentation (in a corresponding generated XML file)
+// Any binary output / copied to bin/projectName/projectName.dll will
+// automatically be added as a binary to generate API docs for.
+// for binaries output to root bin folder please add the filename only to the
+// referenceBinaries list below in order to generate documentation for the binaries.
+// (This is the original behaviour of ProjectScaffold prior to multi project support)
+let referenceBinaries = []
+// Web site location for the generated documentation
+let website = "/Higher"
+
+let githubLink = "https://github.com/palladin/Higher"
+
+// Specify more information about your project
+let info =
+ [ "project-name", "Higher"
+ "project-author", "palladin"
+ "project-summary", "Lightweight Higher-Kinded Polymorphism"
+ "project-github", githubLink
+ "project-nuget", "http://nuget.org/packages/Higher" ]
+
+// --------------------------------------------------------------------------------------
+// For typical project, no changes are needed below
+// --------------------------------------------------------------------------------------
+
+#load "../../packages/build/FSharp.Formatting/FSharp.Formatting.fsx"
+#I "../../packages/build/FAKE/tools/"
+#r "FakeLib.dll"
+open Fake
+open System.IO
+open Fake.FileHelper
+open FSharp.Literate
+open FSharp.MetadataFormat
+
+// When called from 'build.fsx', use the public project URL as
+
+
+
+ The Higher library can be installed from NuGet:
+
+ PM> Install-Package Higher+
+ 
+
+
diff --git a/lib/README.md b/lib/README.md
new file mode 100644
index 0000000..11cdd7a
--- /dev/null
+++ b/lib/README.md
@@ -0,0 +1,11 @@
+This file is in the `lib` directory.
+
+Any **libraries** on which your project depends and which are **NOT managed via NuGet** should be kept **in this directory**.
+This typically includes custom builds of third-party software, private (i.e. to a company) codebases, and native libraries.
+
+---
+NOTE:
+
+This file is a placeholder, used to preserve directory structure in Git.
+
+This file does not need to be edited.
diff --git a/paket.dependencies b/paket.dependencies
new file mode 100644
index 0000000..c0c79d7
--- /dev/null
+++ b/paket.dependencies
@@ -0,0 +1,18 @@
+source https://nuget.org/api/v2
+
+nuget FSharp.Core redirects: force
+
+group Build
+ source https://nuget.org/api/v2
+
+ nuget SourceLink.Fake
+ nuget FAKE
+ nuget FSharp.Formatting
+
+ github fsharp/FAKE modules/Octokit/Octokit.fsx
+
+group Test
+ source https://nuget.org/api/v2
+
+ nuget NUnit ~> 2
+ nuget NUnit.Runners ~> 2
\ No newline at end of file
diff --git a/paket.lock b/paket.lock
new file mode 100644
index 0000000..cb29758
--- /dev/null
+++ b/paket.lock
@@ -0,0 +1,32 @@
+NUGET
+ remote: https://www.nuget.org/api/v2
+ FSharp.Core (4.0.0.1) - redirects: force
+
+GROUP Build
+NUGET
+ remote: https://www.nuget.org/api/v2
+ FAKE (4.41.6)
+ FSharp.Compiler.Service (2.0.0.6)
+ FSharp.Formatting (2.14.4)
+ FSharp.Compiler.Service (2.0.0.6)
+ FSharpVSPowerTools.Core (>= 2.3 < 2.4)
+ FSharpVSPowerTools.Core (2.3)
+ FSharp.Compiler.Service (>= 2.0.0.3)
+ Microsoft.Bcl (1.1.10) - framework: net10, net11, net20, net30, net35, net40, net40-full
+ Microsoft.Bcl.Build (>= 1.0.14)
+ Microsoft.Bcl.Build (1.0.21) - import_targets: false, framework: net10, net11, net20, net30, net35, net40, net40-full
+ Microsoft.Net.Http (2.2.29) - framework: net10, net11, net20, net30, net35, net40, net40-full
+ Microsoft.Bcl (>= 1.1.10)
+ Microsoft.Bcl.Build (>= 1.0.14)
+ Octokit (0.23)
+ Microsoft.Net.Http - framework: net10, net11, net20, net30, net35, net40, net40-full
+ SourceLink.Fake (1.1)
+GITHUB
+ remote: fsharp/FAKE
+ modules/Octokit/Octokit.fsx (889bda9367dfb24f9abb524165a0dbe2cdd86252)
+ Octokit (>= 0.20)
+GROUP Test
+NUGET
+ remote: https://www.nuget.org/api/v2
+ NUnit (2.6.4)
+ NUnit.Runners (2.6.4)
diff --git a/src/Higher.Core/Algebra.fs b/src/Higher.Core/Algebra.fs
deleted file mode 100644
index 6e7cc58..0000000
--- a/src/Higher.Core/Algebra.fs
+++ /dev/null
@@ -1,5 +0,0 @@
-namespace Higher.Core
-
-type Algebra<'F, 'A> = App<'F, 'A> -> 'A
-
-type CoAlgebra<'F, 'A> = 'A -> App<'F, 'A>
\ No newline at end of file
diff --git a/src/Higher.Core/Higher.Core.fsproj b/src/Higher.Core/Higher.Core.fsproj
deleted file mode 100644
index 5374b54..0000000
--- a/src/Higher.Core/Higher.Core.fsproj
+++ /dev/null
@@ -1,116 +0,0 @@
-
-