Docs updates for 0.1.4

docs/org/SUMMARY.org

@@ -3,7 +3,7 @@
 - [[./introduction/about/what-is.md][MiniJuvix]]
 - [[./introduction/changelog.md][Changelog]]
 - [[./introduction/getting-started.md][Getting started]]
-- [[./examples/README.md][Examples]]
+- [[./examples/README.md][Tutorials]]
   - [[./examples/backend-specific/minic-hello-world.md][Hello world]]
   - [[./examples/validity-predicates/PolyFungibleToken.md][A simple fungible token]]
 
@@ -11,8 +11,8 @@
   - [[./language-reference/comments.md][Comments]]
   - [[./language-reference/axiom.md][Axiom]]
   - [[./language-reference/functions.md][Function]]
-  - [[./language-reference/modules.md][Module System]]
-  - [[./language-reference/inductive-data-types.md][Inductive data type]]
+  - [[./language-reference/modules.md][Module]]
+  - [[./language-reference/inductive-data-types.md][Data type]]
   - [[./language-reference/termination-checking.md][Termination checking]]
   - [[./language-reference/compile-blocks.md][Compile block]]
   - [[./language-reference/foreign-blocks.md][Foreign block]]
@@ -32,7 +32,8 @@
   - [[./tools/testing.md][Haskell test suite]]
 
 - [[./notes/README.md][Blog]]
-  - [[./notes/Monomorphization.md][Monomorphization]]
+  - [[./examples/validity-predicates/README.md][Validity predicates]]
+  - [[./notes/monomorphization.md][Monomorphization]]
 
 - [[./introduction/about/what-is.md][About]]
   - [[./introduction/about/team.md][The dev team]]

docs/org/backends/README.org

@@ -1,2 +1,2 @@
-- [[./backends/minic.md][MiniC backend]]
-- [[./backends/minihaskell.md][MiniHaskell backend]]
+- [[./minic.md][MiniC backend]]
+- [[./minihaskell.md][MiniHaskell backend]]

docs/org/compiler-architecture/languages.org

@@ -2,6 +2,6 @@
 
 ** Languages
 
-- [[./compiler-architecture/language/abstract.md][Abstract Language]]
-- [[./compiler-architecture/language/concrete.md][Concrete language]]
-- [[./compiler-architecture/language/microjuvix.md][MicroJuvix Language]]
+- [[./language/abstract.md][Abstract Language]]
+- [[./language/concrete.md][Concrete language]]
+- [[./language/microjuvix.md][MicroJuvix Language]]

docs/org/examples/README.org

@@ -1,2 +1,2 @@
-- [[./examples/backend-specific/minic-hello-world.md][Hello world]]
-- [[./examples/validity-predicates/PolyFungibleToken.md][Fungible Token]]
+- [[./backend-specific/minic-hello-world.md][Hello world]]
+- [[./validity-predicates/PolyFungibleToken.md][Fungible Token]]

docs/org/examples/validity-predicates/README.org

@@ -0,0 +1 @@
+* Validity predicates

docs/org/introduction/changelog.org

@@ -6,11 +6,122 @@
 </a>
 #+end_html
 
+** [[https://github.com/heliaxdev/minijuvix/tree/v0.1.4][v0.1.4]]
+(2022-05-30)
+
+[[https://github.com/heliaxdev/minijuvix/compare/v0.1.3...v0.1.4][Full
+Changelog]]
+
+
+*Merged pull requests:*
+
+- Generic Errors and refactoring
+  [[https://github.com/heliaxdev/minijuvix/pull/123][#123]]
+  ([[https://github.com/jonaprieto][jonaprieto]])
+- Only generates docs if the pull request merges
+  [[https://github.com/heliaxdev/minijuvix/pull/121][#121]]
+  ([[https://github.com/jonaprieto][jonaprieto]])
+- Add initial docs generation website
+  [[https://github.com/heliaxdev/minijuvix/pull/119][#119]]
+  ([[https://github.com/jonaprieto][jonaprieto]])
+- Fix internal link in README
+  [[https://github.com/heliaxdev/minijuvix/pull/116][#116]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Add minic-runtime for linking without libc
+  [[https://github.com/heliaxdev/minijuvix/pull/113][#113]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Add termination checking to the pipeline
+  [[https://github.com/heliaxdev/minijuvix/pull/111][#111]]
+  ([[https://github.com/jonaprieto][jonaprieto]])
+- Support uncurried higher order functions
+  [[https://github.com/heliaxdev/minijuvix/pull/110][#110]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Improve error generation and handling
+  [[https://github.com/heliaxdev/minijuvix/pull/108][#108]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Add MiniC tests with clang+wasi-sdk
+  [[https://github.com/heliaxdev/minijuvix/pull/105][#105]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Add usage example and move developer docs
+  [[https://github.com/heliaxdev/minijuvix/pull/96][#96]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Refactor warning related stuff
+  [[https://github.com/heliaxdev/minijuvix/pull/91][#91]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Remove Agda backend
+  [[https://github.com/heliaxdev/minijuvix/pull/86][#86]]
+  ([[https://github.com/paulcadman][paulcadman]])
+
+*Implemented enhancements:*
+
+- Add =compile= subcommand to generate binaries
+  [[https://github.com/heliaxdev/minijuvix/issues/128][#128]]
+- Add intervals to flycheck errors
+  [[https://github.com/heliaxdev/minijuvix/issues/124][#124]]
+- Improve error handling in minijuvix-mode
+  [[https://github.com/heliaxdev/minijuvix/issues/107][#107]]
+- Support multiple modules in compilation
+  [[https://github.com/heliaxdev/minijuvix/issues/93][#93]]
+- Add compile command to CLI
+  [[https://github.com/heliaxdev/minijuvix/pull/130][#130]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Use Interval in GenericErrors
+  [[https://github.com/heliaxdev/minijuvix/pull/125][#125]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Remove dev in the CI and other tweaks
+  [[https://github.com/heliaxdev/minijuvix/pull/118][#118]]
+  ([[https://github.com/jonaprieto][jonaprieto]])
+- Highlight comments correctly
+  [[https://github.com/heliaxdev/minijuvix/pull/106][#106]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Support multiple modules in compilation
+  [[https://github.com/heliaxdev/minijuvix/pull/100][#100]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- New target syntax and modular VP examples
+  [[https://github.com/heliaxdev/minijuvix/pull/92][#92]]
+  ([[https://github.com/jonaprieto][jonaprieto]])
+
+*Fixed bugs:*
+
+- Missing error messages when using throw/error
+  [[https://github.com/heliaxdev/minijuvix/issues/117][#117]]
+- Fix highlight of comments
+  [[https://github.com/heliaxdev/minijuvix/issues/104][#104]]
+- Fix minijuvix-mode coloring for projects with multiple modules
+  [[https://github.com/heliaxdev/minijuvix/issues/101][#101]]
+- Fix =highlight= command for modules with import statements
+  [[https://github.com/heliaxdev/minijuvix/pull/102][#102]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+
+*Closed issues:*
+
+- Deprecate the class JuvixError
+  [[https://github.com/heliaxdev/minijuvix/issues/115][#115]]
+- Add ToGenericError instance for the infix parsing errors
+  [[https://github.com/heliaxdev/minijuvix/issues/114][#114]]
+- Compile to WASM without linking libc
+  [[https://github.com/heliaxdev/minijuvix/issues/112][#112]]
+- Add the termination checker to the pipeline
+  [[https://github.com/heliaxdev/minijuvix/issues/109][#109]]
+- Use clang + wasi-sdk instead of emcc to compile to WASM
+  [[https://github.com/heliaxdev/minijuvix/issues/103][#103]]
+- Move developer tooling docs out of README
+  [[https://github.com/heliaxdev/minijuvix/issues/95][#95]]
+- Add pre-commit checks to CI checks
+  [[https://github.com/heliaxdev/minijuvix/issues/94][#94]]
+- Support higher order functions in C backend
+  [[https://github.com/heliaxdev/minijuvix/issues/90][#90]]
+- Remove dev from the list of branches in the CI
+  [[https://github.com/heliaxdev/minijuvix/issues/89][#89]]
+- Refactor warning related stuff
+  [[https://github.com/heliaxdev/minijuvix/issues/87][#87]]
+- The MiniJuvix website
+  [[https://github.com/heliaxdev/minijuvix/issues/51][#51]]
+
+
 ** [[https://github.com/heliaxdev/minijuvix/tree/v0.1.3][v0.1.3]]
 (2022-05-05)
-   :PROPERTIES:
-   :CUSTOM_ID: v0.1.3-2022-05-05
-   :END:
+
 [[https://github.com/heliaxdev/minijuvix/compare/v0.1.2...v0.1.3][Full
 Changelog]]
 
@@ -98,9 +209,7 @@ Changelog]]
 
 ** [[https://github.com/heliaxdev/minijuvix/tree/v0.1.2][v0.1.2]]
 (2022-04-11)
-   :PROPERTIES:
-   :CUSTOM_ID: v0.1.2-2022-04-11
-   :END:
+
 [[https://github.com/heliaxdev/minijuvix/compare/v0.1.1...v0.1.2][Full
 Changelog]]
 
@@ -146,9 +255,7 @@ Changelog]]
 
 ** [[https://github.com/heliaxdev/minijuvix/tree/v0.1.1][v0.1.1]]
 (2022-03-25)
-   :PROPERTIES:
-   :CUSTOM_ID: v0.1.1-2022-03-25
-   :END:
+
 [[https://github.com/heliaxdev/minijuvix/compare/48abde93b4e5380acabac810e584f4b7a6618592...v0.1.1][Full
 Changelog]]
 

docs/org/language-reference/README.org

@@ -1,8 +1,8 @@
-  - [[./language-reference/comments.md][Comments]]
-  - [[./language-reference/axiom.md][Axiom]]
-  - [[./language-reference/functions.md][Function]]
-  - [[./language-reference/modules.md][Module System]]
-  - [[./language-reference/inductive-data-types.md][Inductive data type]]
-  - [[./language-reference/termination-checking.md][Termination checking]]
-  - [[./language-reference/compile-blocks.md][Compile block]]
-  - [[./language-reference/foreign-blocks.md][Foreign block]]
+  - [[./comments.md][Comments]]
+  - [[./axiom.md][Axiom]]
+  - [[./functions.md][Function]]
+  - [[./modules.md][Module System]]
+  - [[./inductive-data-types.md][Inductive data type]]
+  - [[./termination-checking.md][Termination checking]]
+  - [[./compile-blocks.md][Compile block]]
+  - [[./foreign-blocks.md][Foreign block]]

docs/org/language-reference/axiom.org

@@ -15,4 +15,4 @@ end;
 
 Terms introduced by the =axiom= keyword lack of any computational content. However,
 it is possible to attach a computational content to an axiom by giving compilation rules,
-see [[./language-reference/compile-blocks.md][Compile blocks]].
+see [[./compile-blocks.md][Compile blocks]].

docs/org/language-reference/compile-blocks.org

@@ -1 +1 @@
-# Compile blocks
+* Compile blocks

docs/org/language-reference/foreign-blocks.org

@@ -1 +1 @@
-# Foreign blocks
+* Foreign blocks

docs/org/language-reference/inductive-data-types.org

@@ -1 +1 @@
-# Inductive data types
+* Inductive data types

docs/org/notes/README.org

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