Add initial documentation (#119) (#120) (#121)

* Add initial docs generation website (#119)

* Add docs generation

* [makefile] add serve-docs target

* Fixed rebase conflicts

* Update pre-commit rev

* Added changelog

.github/workflows/ci.yml

@@ -10,6 +10,7 @@ on:
       - synchronize
       - ready_for_review
       - review_requested
+      - closed
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
@@ -25,8 +26,8 @@ jobs:
         run: exit 1
 
   docs:
+    if: github.event.pull_request.merged == true
     runs-on: ubuntu-latest
-    if:  ${{ github.ref == 'refs/heads/master' }}
     steps:
       - name: Checkout our repository
         uses: actions/checkout@v2
@@ -113,7 +114,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [ ubuntu-latest , macOS-latest ]
+        os: [ubuntu-latest , macOS-latest]
         ghc: ["9.2.2"]
     steps:
       - uses: actions/cache@v3
@@ -155,7 +156,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [ macOS-latest , ubuntu-latest ]
+        os: [ubuntu-latest , macOS-latest]
         ghc: ["9.2.2"]
     steps:
       - uses: actions/cache@v3

docs/org/SUMMARY.org

@@ -5,7 +5,7 @@
 - [[./introduction/getting-started.md][Getting started]]
 - [[./examples/README.md][Examples]]
   - [[./examples/backend-specific/minic-hello-world.md][Hello world]]
-  - [[./examples/validity-predicates/PolyFungibleToken.md][Fungible Token]]
+  - [[./examples/validity-predicates/PolyFungibleToken.md][A simple fungible token]]
 
 - [[./language-reference/README.md][Language reference]]
   - [[./language-reference/comments.md][Comments]]
@@ -17,20 +17,23 @@
   - [[./language-reference/compile-blocks.md][Compile block]]
   - [[./language-reference/foreign-blocks.md][Foreign block]]
   - [[./backends/README.md][Backends]]
-    - [[./backends/minic.md][MiniC backend]]
-    - [[./backends/minihaskell.md][MiniHaskell backend]]
+    - [[./backends/minic.md][MiniC]]
+    - [[./backends/minihaskell.md][MiniHaskell]]
   - [[./compiler-architecture/README][Compiler architecture]]
     - [[./compiler-architecture/pipeline.md][Pipeline]]
     - [[./compiler-architecture/languages.md][Internal languages]]
-      - [[./compiler-architecture/language/abstract.md][Abstract Language]]
+      - [[./compiler-architecture/language/abstract.md][Abstract language]]
       - [[./compiler-architecture/language/concrete.md][Concrete language]]
-      - [[./compiler-architecture/language/microjuvix.md][MicroJuvix Language]]
+      - [[./compiler-architecture/language/microjuvix.md][MicroJuvix]]
 
 - [[./tooling/README.md][Tooling]]
-  - [[./tools/CLI.md][Command line Interface]]
-  - [[./tools/emacs-mode.md][Writting MiniJuvix programs with Emacs Mode]]
-  - [[./tools/testing.md][Test Suite]]
+  - [[./tools/CLI.md][Command line interface]]
+  - [[./tools/emacs-mode.md][Emacs mode]]
+  - [[./tools/testing.md][Haskell test suite]]
+
+- [[./notes/README.md][Blog]]
+  - [[./notes/Monomorphization.md][Monomorphization]]
 
 - [[./introduction/about/what-is.md][About]]
-  - [[./introduction/about/team.md][The Dev Team]]
+  - [[./introduction/about/team.md][The dev team]]
   - [[./introduction/about/community.md][Community]]

docs/org/notes/Monomorphization.org

@@ -1,4 +1,7 @@
 * Monomorphization
+
+/By Jan Mais Rovira/
+
  Monomorphization refers to the process of converting polymorphic code to
  monomorphic code (no type variables) through static analysis.
 

docs/org/notes/README.org

@@ -0,0 +1 @@
+  - [[./notes/Monomorphization.md][Monomorphization]]