Videos in docs (#235)

README.md

@@ -7,30 +7,8 @@ This repo defines a set of libraries to write microservices in a format- and pro
 
 ## [Documentation](docs)
 
-This set of libraries are thought to be built using [Stack](https://docs.haskellstack.org). Just jump into the folder and run `stack build`! The top-level `stack.yaml` defines a common resolver and set of dependencies for all the packages.
-
-### Video Resources
-
-[Alejandro](https://twitter.com/trupill)'s talk about mu-graphql at [Haskell Love](https://haskell.love/).
-
-[![haskell-love](https://img.youtube.com/vi/JbeqwfZ2dRc/0.jpg)](https://www.youtube.com/watch?v=JbeqwfZ2dRc)
-
-[Alejandro](https://twitter.com/trupill) and [Flavio](https://twitter.com/FlavioCorpa)'s `mu-haskell` paper presentation on [Haskell Symposium](https://icfp20.sigplan.org/details/haskellsymp-2020-papers/6/Describing-Microservices-using-Modern-Haskell-Experience-Report).
-
-[![haskell-symposium](https://img.youtube.com/vi/GDITBmIzCDs/0.jpg)](https://www.youtube.com/watch?v=GDITBmIzCDs)
-
-[Alejandro](https://twitter.com/trupill)'s talk about at [Haskell Amsterdam](https://www.haskell.amsterdam/).
-
-[![haskell-amsterdam](https://img.youtube.com/vi/gop937MGZJ0/0.jpg)](https://www.youtube.com/watch?v=gop937MGZJ0)
-
-[Flavio](https://twitter.com/FlavioCorpa)'s talk on mu-graphql at the [Berlin Functional Programming Group](https://www.meetup.com/es-ES/Berlin-Functional-Programming-Group/).
-
-[![mu-berlin](https://img.youtube.com/vi/ZnYa99QoznE/0.jpg)](https://www.youtube.com/watch?v=ZnYa99QoznE)
-
-[Alejandro](https://twitter.com/trupill)'s talk about the internals of mu-haskell.
-
-[![mu-internals](https://img.youtube.com/vi/JbHnzCtWof0/0.jpg)](https://www.youtube.com/watch?v=JbHnzCtWof0)
-
 ## Contributing
 
+This set of libraries are thought to be built using [Stack](https://docs.haskellstack.org). Just jump into the folder and run `stack build`! The top-level `stack.yaml` defines a common resolver and set of dependencies for all the packages.
+
 If you want to contribute, please be sure to read the [development guidelines](DEVELOPMENT.md) first.

docs/_data/sidebar.yml

@@ -47,3 +47,6 @@ options:
 
     - title: Middleware
       url: middleware/
+
+  - title: Talks
+    url: talks/

docs/docs/README.md

@@ -8,6 +8,8 @@ permalink: /
 
 Mu-Haskell is a set of packages that help you build both servers and clients for (micro)services. The main goal of Mu-Haskell is to allow you to focus on your domain logic, instead of worrying about format and protocol issues.
 
+If you prefer listening to reading, we have a bunch of [talks]({% link docs/talks.md %}) covering both the usage and the internals of the library.
+
 * Introduction
   * [For RPC]({% link docs/intro-rpc.md %})
   * [For GraphQL]({% link docs/intro-graphql.md %})

docs/docs/talks.md

@@ -0,0 +1,33 @@
+---
+layout: docs
+title: Talks
+permalink: talks/
+---
+
+# Talks
+
+**Warning**: depending on the moment in which each talk has recorded, the code may not be 100% compatible with the latest release of Mu-Haskell. The underlying ideas do remain the same.
+
+## Using Mu-Haskell
+
+[Alejandro](https://twitter.com/trupill)'s talk about Mu + GraphQL at [Haskell Love](https://haskell.love/).
+
+[![haskell-love](https://img.youtube.com/vi/JbeqwfZ2dRc/0.jpg)](https://www.youtube.com/watch?v=JbeqwfZ2dRc)
+
+[Alejandro](https://twitter.com/trupill)'s talk about Mu + gRPC at [Haskell Amsterdam](https://www.haskell.amsterdam/).
+
+[![haskell-amsterdam](https://img.youtube.com/vi/gop937MGZJ0/0.jpg)](https://www.youtube.com/watch?v=gop937MGZJ0)
+
+[Flavio](https://twitter.com/FlavioCorpa)'s talk on Mu + GraphQL at the [Berlin Functional Programming Group](https://www.meetup.com/es-ES/Berlin-Functional-Programming-Group/).
+
+[![mu-berlin](https://img.youtube.com/vi/ZnYa99QoznE/0.jpg)](https://www.youtube.com/watch?v=ZnYa99QoznE)
+
+## Implementation
+
+[Alejandro](https://twitter.com/trupill) and [Flavio](https://twitter.com/FlavioCorpa)'s experience report presentation on [Haskell Symposium](https://icfp20.sigplan.org/details/haskellsymp-2020-papers/6/Describing-Microservices-using-Modern-Haskell-Experience-Report). Here we explore the challenges we had to overcome while use type level techniques.
+
+[![haskell-symposium](https://img.youtube.com/vi/GDITBmIzCDs/0.jpg)](https://www.youtube.com/watch?v=GDITBmIzCDs)
+
+[Alejandro](https://twitter.com/trupill)'s talk about the internals of Mu-Haskell, focused mostly on the schema side.
+
+[![mu-internals](https://img.youtube.com/vi/JbHnzCtWof0/0.jpg)](https://www.youtube.com/watch?v=JbHnzCtWof0)