New docs (#236)

* new docs

* new docs

* new docs

* new docs

* new docs

* new docs

* new docs

* new docs

* new docs

* remove old site

* remove old site

* remove old site

* remove old site

* rearrange docs

* fix

* fix website attempt

* fix website attempt

* fix website attempt

* fix notebook dir

* remove top level mkdocs.yml

* remove top level mkdocs.yml

* maintainers

Author: reubenharry

.github/workflows/ci.yml

@@ -0,0 +1,18 @@
+name: ci 
+on:
+  push:
+    branches:
+      - newdocs
+      - master
+permissions:
+  contents: write
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions/setup-python@v4
+        with:
+          python-version: 3.x
+      - run: pip install mkdocs-material 
+      # - run: mkdocs gh-deploy --force

.gitignore

@@ -1,4 +1,5 @@
 src/data
+docs/site
 venv
 _cache
 docs/build

.netlify/state.json

@@ -51,8 +51,4 @@ A **new major GHC version** has been released. Here's what you need to do:
 
 ## Documentation
 
-The docs are built with Sphinx. Once installed, cd to the `docs` directory, then run `make html` to build locally. CI does this automatically, so to update the docs, just update the markdown (e.g. docs/source/usage.md), and push.
-
-## Website
-
-The website is also hosted in the repo (`/monad-bayes-site`), and is built with `hakyll`. Do `stack exec site build` to build. CI **does not** automatically build the site, so to update, you will need to run this command, and only then push to github.
+The docs are built with MkDocs. Serve locally with: `mkdocs serve`. Site is served online with Netlify.

MAINTAINERS.md

@@ -1,4 +1,4 @@
-# [Monad-Bayes](https://monad-bayes-site.netlify.app/_site/about.html)
+# [Monad-Bayes](https://monad-bayes.netlify.app/)
 
 A library for probabilistic programming in Haskell. 
 
@@ -7,7 +7,7 @@ A library for probabilistic programming in Haskell.
 [![Hackage Deps](https://img.shields.io/hackage-deps/v/monad-bayes.svg)](http://packdeps.haskellers.com/reverse/monad-bayes)
 [![Build status](https://badge.buildkite.com/147af088063e8619fcf52ecf93fa7dd3353a2e8a252ef8e6ad.svg?branch=master)](https://buildkite.com/tweag-1/monad-bayes) -->
 
-[See the website](https://monad-bayes-site.netlify.app/_site/about.html) for an overview of the documentation, library, tutorials, examples (and a link to this very source code). 
+[See the docs](https://monad-bayes.netlify.app/) for a user guide, notebook-style tutorials, an example gallery, and a detailed account of the implementation.
 
 <!-- Monad-Bayes is a library for **probabilistic programming in Haskell**. The emphasis is on composition of inference algorithms, and is implemented in terms of monad transformers. -->
 

README.md

@@ -0,0 +1,18 @@
+---
+title: Example Gallery
+---
+
+## [Histograms](/notebooks/Histogram.html)
+
+## [JSON (with `lens`)](/notebooks/Lenses.html)
+
+## [Diagrams](/notebooks/Diagrams.html)
+
+## [Probabilistic Parsing](/notebooks/Parsing.html)
+
+## [Streams (with `pipes`)](/notebooks/Streaming.html)
+
+## [Ising models](/notebooks/Ising.html)
+
+## [Physics](/notebooks/ClassicalPhysics.html)
+