v0.1.3 Update CHANGELOG

.github_changelog_generator

@@ -19,7 +19,7 @@ filter_issues_by_milestone=true
 header=# The MiniJuvix Changelog
 issue_line_labels=[]
 issue_prefix=**Closed issues:**
-issues_of_open_milestones=true
+issues_of_open_milestones=false
 issues=true
 max_issues=nil
 merge_prefix=**Merged pull requests:**
@@ -33,6 +33,6 @@ security_prefix=**Security fixes:**
 simple_list=false
 ssl_ca_file=nil
 summary_labels=Release summary,release-summary,Summary,summary
-unreleased=true
+unreleased=false
 user=heliaxdev
 verbose=false

CHANGELOG.org

@@ -2,32 +2,97 @@
   :PROPERTIES:
   :CUSTOM_ID: the-minijuvix-changelog
   :END:
-** [[https://github.com/heliaxdev/minijuvix/tree/0.1.3][0.1.3]]
-(2022-05-03)
+
+
+** [[https://github.com/heliaxdev/minijuvix/tree/v0.1.3][v0.1.3]]
+(2022-05-05)
    :PROPERTIES:
-   :CUSTOM_ID: section
+   :CUSTOM_ID: v0.1.3-2022-05-05
    :END:
-[[https://github.com/heliaxdev/minijuvix/compare/v0.1.2...0.1.3][Full
+[[https://github.com/heliaxdev/minijuvix/compare/v0.1.2...v0.1.3][Full
 Changelog]]
 
 *Closed issues:*
 
-- Compile minihaskell output to WASM
-  [[https://github.com/heliaxdev/minijuvix/issues/50][#50]]
-- Stop type checking at the first type error
-  [[https://github.com/heliaxdev/minijuvix/issues/49][#49]]
-- Crash when typechecking a constructor pattern-match
-  [[https://github.com/heliaxdev/minijuvix/issues/41][#41]]
-- Do not mangle =main= function name
-  [[https://github.com/heliaxdev/minijuvix/issues/40][#40]]
-- Do not mangle top-level module names
-  [[https://github.com/heliaxdev/minijuvix/issues/39][#39]]
-- Make SimpleFungibleToken.mjuvix work end-to-end
-  [[https://github.com/heliaxdev/minijuvix/issues/33][#33]]
-- Make =--no-colors= flag global for pretty printer
-  [[https://github.com/heliaxdev/minijuvix/issues/29][#29]]
-- Github Action Haskell workflow
-  [[https://github.com/heliaxdev/minijuvix/issues/4][#4]]
+- Monomorphisation naming inconsistency
+  [[https://github.com/heliaxdev/minijuvix/issues/84][#84]]
+- Remove BackendAgda
+  [[https://github.com/heliaxdev/minijuvix/issues/83][#83]]
+- Change terminating keyword behavior
+  [[https://github.com/heliaxdev/minijuvix/issues/81][#81]]
+- MonoJuvix =ExpressionTyped= is never used
+  [[https://github.com/heliaxdev/minijuvix/issues/79][#79]]
+- Bump stackage nightly and delete =allow-newer: true= from =stack.yaml=
+  [[https://github.com/heliaxdev/minijuvix/issues/75][#75]]
+- Generate automatically CHANGELOG and Github Release Notes
+  [[https://github.com/heliaxdev/minijuvix/issues/73][#73]]
+- Make flag --show-name-ids global
+  [[https://github.com/heliaxdev/minijuvix/issues/61][#61]]
+- Add C code generation backend
+  [[https://github.com/heliaxdev/minijuvix/issues/60][#60]]
+- Add polymorphism
+  [[https://github.com/heliaxdev/minijuvix/issues/59][#59]]
+- Add the compile keyword to the frontend syntax (support up to Scoping)
+  [[https://github.com/heliaxdev/minijuvix/issues/58][#58]]
+- Error with undefined or underscores
+  [[https://github.com/heliaxdev/minijuvix/issues/54][#54]]
+- Add support for other GHC and Stack stable version
+  [[https://github.com/heliaxdev/minijuvix/issues/52][#52]]
+- Autodetect output ANSI support when prettyprinting
+  [[https://github.com/heliaxdev/minijuvix/issues/38][#38]]
+- Terminating for type signatures
+  [[https://github.com/heliaxdev/minijuvix/issues/11][#11]]
+
+*Merged pull requests:*
+
+- Remove agda backend
+  [[https://github.com/heliaxdev/minijuvix/pull/86][#86]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- 84 monomorphisation naming inconsistency
+  [[https://github.com/heliaxdev/minijuvix/pull/85][#85]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Change terminating keyword behavior
+  [[https://github.com/heliaxdev/minijuvix/pull/82][#82]]
+  ([[https://github.com/jonaprieto][jonaprieto]])
+- Remove unused constructor ExpressionTyped in Monojuvix
+  [[https://github.com/heliaxdev/minijuvix/pull/80][#80]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Stricter stack builds and pedantic mode for CI
+  [[https://github.com/heliaxdev/minijuvix/pull/78][#78]]
+  ([[https://github.com/jonaprieto][jonaprieto]])
+- Bump stackage version and remove allow-newer
+  [[https://github.com/heliaxdev/minijuvix/pull/76][#76]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Add automatically updates/issues/merged PRs to the changelog
+  [[https://github.com/heliaxdev/minijuvix/pull/74][#74]]
+  ([[https://github.com/jonaprieto][jonaprieto]])
+- Add terminating keyword
+  [[https://github.com/heliaxdev/minijuvix/pull/71][#71]]
+  ([[https://github.com/jonaprieto][jonaprieto]])
+- Monomorphization
+  [[https://github.com/heliaxdev/minijuvix/pull/70][#70]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Remove StatementCompile in AST after scoping
+  [[https://github.com/heliaxdev/minijuvix/pull/69][#69]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Add C code generation backend
+  [[https://github.com/heliaxdev/minijuvix/pull/68][#68]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Check if stderr supports ANSI and print accordingly
+  [[https://github.com/heliaxdev/minijuvix/pull/67][#67]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Add support for compile (by Jonathan)
+  [[https://github.com/heliaxdev/minijuvix/pull/66][#66]]
+  ([[https://github.com/paulcadman][paulcadman]])
+- Add NameIdGen effect to the pipeline
+  [[https://github.com/heliaxdev/minijuvix/pull/64][#64]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Make the =--show-name-ids= flag global
+  [[https://github.com/heliaxdev/minijuvix/pull/63][#63]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
+- Implement type checker with polymorphism
+  [[https://github.com/heliaxdev/minijuvix/pull/62][#62]]
+  ([[https://github.com/janmasrovira][janmasrovira]])
 
 ** [[https://github.com/heliaxdev/minijuvix/tree/v0.1.2][v0.1.2]]
 (2022-04-11)
@@ -63,7 +128,7 @@ Changelog]]
 - The MiniJuvix project now follows the same goals as the original Juvix
   project. [[https://github.com/heliaxdev/minijuvix/pull/7][#7]]
   ([[https://github.com/jonaprieto][jonaprieto]])
-- dev→main [[https://github.com/heliaxdev/minijuvix/pull/6][#6]]
+- Dev→main [[https://github.com/heliaxdev/minijuvix/pull/6][#6]]
   ([[https://github.com/jonaprieto][jonaprieto]])
 - Big update including termination checking
   [[https://github.com/heliaxdev/minijuvix/pull/5][#5]]
@@ -71,10 +136,10 @@ Changelog]]
 - Parser and scoper
   [[https://github.com/heliaxdev/minijuvix/pull/3][#3]]
   ([[https://github.com/jonaprieto][jonaprieto]])
-- upgrade to ghc9 and use hpack
+- Upgrade to ghc9 and use hpack
   [[https://github.com/heliaxdev/minijuvix/pull/2][#2]]
   ([[https://github.com/janmasrovira][janmasrovira]])
-- merge [[https://github.com/heliaxdev/minijuvix/pull/1][#1]]
+- Merge [[https://github.com/heliaxdev/minijuvix/pull/1][#1]]
   ([[https://github.com/jonaprieto][jonaprieto]])
 
 ** [[https://github.com/heliaxdev/minijuvix/tree/v0.1.1][v0.1.1]]

package.yaml

@@ -1,5 +1,5 @@
 name:            minijuvix
-version:         0.1.2
+version:         0.1.3
 license:         GPL-3.0-only
 license-file:    LICENSE
 copyright:       (c) 2022- Heliax AG.