# Changelog Juvix Mascot ## [v0.4.2](https://github.com/anoma/juvix/tree/v0.4.2) (2023-07-25) [Full Changelog](https://github.com/anoma/juvix/compare/v0.4.1...v0.4.2) **Implemented enhancements:** - Fold lets when the bound variable occurs at most once [\#2231](https://github.com/anoma/juvix/pull/2231) ([lukaszcz](https://github.com/lukaszcz)) - Case folding [\#2229](https://github.com/anoma/juvix/pull/2229) ([lukaszcz](https://github.com/lukaszcz)) - Specialization optimisation [\#2164](https://github.com/anoma/juvix/pull/2164) ([lukaszcz](https://github.com/lukaszcz)) **Merged pull requests:** - Refactor deriving statements in `Concrete.Language` [\#2256](https://github.com/anoma/juvix/pull/2256) ([janmasrovira](https://github.com/janmasrovira)) - Rename inductive constructor [\#2255](https://github.com/anoma/juvix/pull/2255) ([janmasrovira](https://github.com/janmasrovira)) - Add record declaration syntax [\#2254](https://github.com/anoma/juvix/pull/2254) ([janmasrovira](https://github.com/janmasrovira)) - Typcheck imports before statements [\#2253](https://github.com/anoma/juvix/pull/2253) ([janmasrovira](https://github.com/janmasrovira)) - Named arguments [\#2250](https://github.com/anoma/juvix/pull/2250) ([janmasrovira](https://github.com/janmasrovira)) - Format juvix files using new function syntax [\#2245](https://github.com/anoma/juvix/pull/2245) ([janmasrovira](https://github.com/janmasrovira)) - Update to GEB version 0.3.2 [\#2244](https://github.com/anoma/juvix/pull/2244) ([lukaszcz](https://github.com/lukaszcz)) - New syntax for function definitions [\#2243](https://github.com/anoma/juvix/pull/2243) ([janmasrovira](https://github.com/janmasrovira)) - Parse many consecutive `-` as a comment [\#2240](https://github.com/anoma/juvix/pull/2240) ([janmasrovira](https://github.com/janmasrovira)) - Add syntax for builtin list [\#2239](https://github.com/anoma/juvix/pull/2239) ([janmasrovira](https://github.com/janmasrovira)) - Fix bug in aritychecker [\#2238](https://github.com/anoma/juvix/pull/2238) ([janmasrovira](https://github.com/janmasrovira)) - Local pragmas improvements [\#2236](https://github.com/anoma/juvix/pull/2236) ([lukaszcz](https://github.com/lukaszcz)) - Fix bug in `computeTypeInfo` [\#2234](https://github.com/anoma/juvix/pull/2234) ([lukaszcz](https://github.com/lukaszcz)) - Numeric range types [\#2232](https://github.com/anoma/juvix/pull/2232) ([lukaszcz](https://github.com/lukaszcz)) - Use specialization pragmas in the standard library [\#2230](https://github.com/anoma/juvix/pull/2230) ([lukaszcz](https://github.com/lukaszcz)) - Fix de Bruijn indices in LetRecs [\#2227](https://github.com/anoma/juvix/pull/2227) ([lukaszcz](https://github.com/lukaszcz)) - Remove abstract [\#2219](https://github.com/anoma/juvix/pull/2219) ([janmasrovira](https://github.com/janmasrovira)) ## [v0.4.1](https://github.com/anoma/juvix/tree/v0.4.1) (2023-06-23) [Full Changelog](https://github.com/anoma/juvix/compare/v0.4.0...v0.4.1) **Implemented enhancements:** - The `public` pragma [\#2223](https://github.com/anoma/juvix/pull/2223) ([lukaszcz](https://github.com/lukaszcz)) - Local pragmas [\#2222](https://github.com/anoma/juvix/pull/2222) ([lukaszcz](https://github.com/lukaszcz)) - Lifting calls out of cases for the VampIR backend [\#2218](https://github.com/anoma/juvix/pull/2218) ([lukaszcz](https://github.com/lukaszcz)) - Use equality instead of less-equal when translating matching on Nats [\#2215](https://github.com/anoma/juvix/pull/2215) ([lukaszcz](https://github.com/lukaszcz)) - Support juvix format with no argument to format a project [\#2208](https://github.com/anoma/juvix/pull/2208) ([paulcadman](https://github.com/paulcadman)) - Always print source of formatted file unless --check is specified [\#2205](https://github.com/anoma/juvix/pull/2205) ([paulcadman](https://github.com/paulcadman)) - Improve iterator formatting and syntax [\#2204](https://github.com/anoma/juvix/pull/2204) ([lukaszcz](https://github.com/lukaszcz)) - Restrict permutative conversions on cases to non-booleans [\#2201](https://github.com/anoma/juvix/pull/2201) ([lukaszcz](https://github.com/lukaszcz)) **Merged pull requests:** - Build and cache smoke binary keyed using icu4c version [\#2221](https://github.com/anoma/juvix/pull/2221) ([paulcadman](https://github.com/paulcadman)) - Switch to Halo2 for VampIR backend tests [\#2216](https://github.com/anoma/juvix/pull/2216) ([lukaszcz](https://github.com/lukaszcz)) - Remove Subtree sections, all collapse all button [\#2213](https://github.com/anoma/juvix/pull/2213) ([vrom911](https://github.com/vrom911)) - Fix `isNegative` in the VampIR runtime [\#2212](https://github.com/anoma/juvix/pull/2212) ([lukaszcz](https://github.com/lukaszcz)) - Use juvix-installer in CodeSpaces, install vamp-ir [\#2210](https://github.com/anoma/juvix/pull/2210) ([vrom911](https://github.com/vrom911)) - Move termination checker to Internal [\#2209](https://github.com/anoma/juvix/pull/2209) ([janmasrovira](https://github.com/janmasrovira)) - Propogate formatter results when traversing subdirs [\#2207](https://github.com/anoma/juvix/pull/2207) ([paulcadman](https://github.com/paulcadman)) - Update vamp-ir CI installation [\#2199](https://github.com/anoma/juvix/pull/2199) ([jonaprieto](https://github.com/jonaprieto)) - More tests for the VampIR compilation pipeline [\#2197](https://github.com/anoma/juvix/pull/2197) ([lukaszcz](https://github.com/lukaszcz)) - Fix runtime C maybe benchmark example [\#2195](https://github.com/anoma/juvix/pull/2195) ([paulcadman](https://github.com/paulcadman)) - Refactor isValidChar [\#2194](https://github.com/anoma/juvix/pull/2194) ([jonaprieto](https://github.com/jonaprieto)) - Check valid argument names in YAML [\#2193](https://github.com/anoma/juvix/pull/2193) ([lukaszcz](https://github.com/lukaszcz)) - Fix benchmark runtime C examples [\#2192](https://github.com/anoma/juvix/pull/2192) ([paulcadman](https://github.com/paulcadman)) - Update to the new version of VampIR [\#2138](https://github.com/anoma/juvix/pull/2138) ([lukaszcz](https://github.com/lukaszcz)) ## [v0.4.0 - Prague!](https://github.com/anoma/juvix/tree/v0.4.0) (2023-06-02) [Full Changelog](https://github.com/anoma/juvix/compare/v0.3.5...v0.4.0) **Implemented enhancements:** - Always print source of formatted file unless --check is specified [\#2173](https://github.com/anoma/juvix/pull/2173) ([paulcadman](https://github.com/paulcadman)) - Improve parsing error messages [\#2170](https://github.com/anoma/juvix/pull/2170) ([lukaszcz](https://github.com/lukaszcz)) **Merged pull requests:** - Use stderr for errors in the runtime [\#2184](https://github.com/anoma/juvix/pull/2184) ([lukaszcz](https://github.com/lukaszcz)) - Change terminal colours to be more align with the scheme [\#2183](https://github.com/anoma/juvix/pull/2183) ([vrom911](https://github.com/vrom911)) - Respect fixity in runtime printer [\#2182](https://github.com/anoma/juvix/pull/2182) ([lukaszcz](https://github.com/lukaszcz)) - Format returns 0 when file is not formatted [\#2181](https://github.com/anoma/juvix/pull/2181) ([vrom911](https://github.com/vrom911)) - Print values in `juvix eval` [\#2179](https://github.com/anoma/juvix/pull/2179) ([lukaszcz](https://github.com/lukaszcz)) - Fix 'function not found' error in `juvix eval` [\#2178](https://github.com/anoma/juvix/pull/2178) ([lukaszcz](https://github.com/lukaszcz)) - Store source location of \(almost\) everything [\#2174](https://github.com/anoma/juvix/pull/2174) ([janmasrovira](https://github.com/janmasrovira)) - Do not filter unreachable symbols when compiling for REPL [\#2172](https://github.com/anoma/juvix/pull/2172) ([paulcadman](https://github.com/paulcadman)) ## [v0.3.5](https://github.com/anoma/juvix/tree/v0.3.5) (2023-06-02) [Full Changelog](https://github.com/anoma/juvix/compare/v0.3.4...v0.3.5) **Implemented enhancements:** - Update standard library for better readability, efficiency and iterator use [\#2153](https://github.com/anoma/juvix/pull/2153) ([lukaszcz](https://github.com/lukaszcz)) - Use the`JUVIX_LLVM_DIST_PATH` environment variable to search for the clang executable [\#2152](https://github.com/anoma/juvix/pull/2152) ([paulcadman](https://github.com/paulcadman)) - Finish the new pretty printing algorithm and delete the old one [\#2151](https://github.com/anoma/juvix/pull/2151) ([janmasrovira](https://github.com/janmasrovira)) - Add `:doc` command to the repl [\#2142](https://github.com/anoma/juvix/pull/2142) ([janmasrovira](https://github.com/janmasrovira)) - Allow to specify VampIR variable names [\#2141](https://github.com/anoma/juvix/pull/2141) ([lukaszcz](https://github.com/lukaszcz)) - VampIR pipeline: handle booleans in the type of `main` [\#2137](https://github.com/anoma/juvix/pull/2137) ([lukaszcz](https://github.com/lukaszcz)) - Add `main` field to `juvix.yaml` [\#2120](https://github.com/anoma/juvix/pull/2120) ([janmasrovira](https://github.com/janmasrovira)) - Add `:def` command to the repl [\#2119](https://github.com/anoma/juvix/pull/2119) ([janmasrovira](https://github.com/janmasrovira)) **Merged pull requests:** - Properly scan imports inside local modules [\#2165](https://github.com/anoma/juvix/pull/2165) ([janmasrovira](https://github.com/janmasrovira)) - Add extra git dependencies to `cabal.project` [\#2158](https://github.com/anoma/juvix/pull/2158) ([janmasrovira](https://github.com/janmasrovira)) - Support new `import ... open` syntax in REPL [\#2156](https://github.com/anoma/juvix/pull/2156) ([paulcadman](https://github.com/paulcadman)) - Add the `format` pragma [\#2150](https://github.com/anoma/juvix/pull/2150) ([lukaszcz](https://github.com/lukaszcz)) - Remove code for `Eval` and `Print` statements [\#2149](https://github.com/anoma/juvix/pull/2149) ([lukaszcz](https://github.com/lukaszcz)) - Fix printing of infix constructor values [\#2144](https://github.com/anoma/juvix/pull/2144) ([lukaszcz](https://github.com/lukaszcz)) - Add `ValueType` [\#2143](https://github.com/anoma/juvix/pull/2143) ([janmasrovira](https://github.com/janmasrovira)) - Add `Semigroup` instance for `AnsiText` [\#2140](https://github.com/anoma/juvix/pull/2140) ([janmasrovira](https://github.com/janmasrovira)) - Show unicode characters without escaping [\#2127](https://github.com/anoma/juvix/pull/2127) ([janmasrovira](https://github.com/janmasrovira)) - Iterator syntax [\#2126](https://github.com/anoma/juvix/pull/2126) ([lukaszcz](https://github.com/lukaszcz)) - Fix spurious messages from Makefile.generic [\#2125](https://github.com/anoma/juvix/pull/2125) ([lukaszcz](https://github.com/lukaszcz)) - Add gnu-sed to the macOS build in the CI [\#2123](https://github.com/anoma/juvix/pull/2123) ([jonaprieto](https://github.com/jonaprieto)) - Fix baseUrl for juvix docs in Doctor command [\#2122](https://github.com/anoma/juvix/pull/2122) ([vrom911](https://github.com/vrom911)) - Remove --no-format option [\#2121](https://github.com/anoma/juvix/pull/2121) ([vrom911](https://github.com/vrom911)) - Add Bottom node [\#2112](https://github.com/anoma/juvix/pull/2112) ([janmasrovira](https://github.com/janmasrovira)) - VampIR integration [\#2103](https://github.com/anoma/juvix/pull/2103) ([lukaszcz](https://github.com/lukaszcz)) - Add VampIR to the CI [\#2096](https://github.com/anoma/juvix/pull/2096) ([jonaprieto](https://github.com/jonaprieto)) ## [v0.3.4](https://github.com/anoma/juvix/tree/v0.3.4) (2023-05-22) [Full Changelog](https://github.com/anoma/juvix/compare/v0.3.3...v0.3.4) **Implemented enhancements:** - Allow symbol renaming inside `using {..}` [\#2109](https://github.com/anoma/juvix/pull/2109) ([janmasrovira](https://github.com/janmasrovira)) - Scope check symbols inside `using {..}` and `hiding {..}` [\#2108](https://github.com/anoma/juvix/pull/2108) ([janmasrovira](https://github.com/janmasrovira)) - Pass through compile optimization flag to C compiler and disable optimization for --debug [\#2106](https://github.com/anoma/juvix/pull/2106) ([paulcadman](https://github.com/paulcadman)) - Add syntax for Judoc blocks [\#2102](https://github.com/anoma/juvix/pull/2102) ([janmasrovira](https://github.com/janmasrovira)) - Add dangling judoc error [\#2099](https://github.com/anoma/juvix/pull/2099) ([janmasrovira](https://github.com/janmasrovira)) - Modify `open import` syntax [\#2098](https://github.com/anoma/juvix/pull/2098) ([janmasrovira](https://github.com/janmasrovira)) - Improve error message when input path doesn't exist [\#2092](https://github.com/anoma/juvix/pull/2092) ([paulcadman](https://github.com/paulcadman)) - Partial incremental highlighting [\#2053](https://github.com/anoma/juvix/pull/2053) ([janmasrovira](https://github.com/janmasrovira)) - Normalization by Evaluation [\#2038](https://github.com/anoma/juvix/pull/2038) ([lukaszcz](https://github.com/lukaszcz)) - Inlining [\#2036](https://github.com/anoma/juvix/pull/2036) ([lukaszcz](https://github.com/lukaszcz)) **Merged pull requests:** - Use PrettyCode instance instead of obsolete ppUsingItem in Print.Base [\#2115](https://github.com/anoma/juvix/pull/2115) ([janmasrovira](https://github.com/janmasrovira)) - Add `syntax` keyword [\#2107](https://github.com/anoma/juvix/pull/2107) ([lukaszcz](https://github.com/lukaszcz)) - Simplify formatting of lambdas with a single clause [\#2105](https://github.com/anoma/juvix/pull/2105) ([janmasrovira](https://github.com/janmasrovira)) - Fix extra whitespace in text rendering of indented empty lines [\#2101](https://github.com/anoma/juvix/pull/2101) ([paulcadman](https://github.com/paulcadman)) - Reachability analysis in Core [\#2097](https://github.com/anoma/juvix/pull/2097) ([lukaszcz](https://github.com/lukaszcz)) - Slightly improve prettyprinting for Core [\#2094](https://github.com/anoma/juvix/pull/2094) ([janmasrovira](https://github.com/janmasrovira)) - Bump to LTS Haskell 20.21 \(ghc-9.2.7\) [\#2093](https://github.com/anoma/juvix/pull/2093) ([jonaprieto](https://github.com/jonaprieto)) - Direct translation from normalized JuvixCore to VampIR [\#2086](https://github.com/anoma/juvix/pull/2086) ([lukaszcz](https://github.com/lukaszcz)) - ci: clean .juvix-build directory before formatting/typechecking examples [\#2079](https://github.com/anoma/juvix/pull/2079) ([paulcadman](https://github.com/paulcadman)) - Fix format on projects that contain subprojects [\#2078](https://github.com/anoma/juvix/pull/2078) ([paulcadman](https://github.com/paulcadman)) - Implement core transformation `let-hoisting` [\#2076](https://github.com/anoma/juvix/pull/2076) ([janmasrovira](https://github.com/janmasrovira)) - Allow nested block comments [\#2075](https://github.com/anoma/juvix/pull/2075) ([janmasrovira](https://github.com/janmasrovira)) - Fix topCommandInputFile for Format command [\#2063](https://github.com/anoma/juvix/pull/2063) ([vrom911](https://github.com/vrom911)) - Fix reachability analysis with imports in unreachable nested modules [\#2062](https://github.com/anoma/juvix/pull/2062) ([lukaszcz](https://github.com/lukaszcz)) - Fix devcontainer juvix install [\#2061](https://github.com/anoma/juvix/pull/2061) ([paulcadman](https://github.com/paulcadman)) - Fix Makefile target bugs for formatting and type Checking Juvix files [\#2057](https://github.com/anoma/juvix/pull/2057) ([jonaprieto](https://github.com/jonaprieto)) - Fix a bug in the positivity checker \(\#1943\) [\#2054](https://github.com/anoma/juvix/pull/2054) ([jonaprieto](https://github.com/jonaprieto)) - Arity check types and functions \(-\>\) [\#2049](https://github.com/anoma/juvix/pull/2049) ([janmasrovira](https://github.com/janmasrovira)) - Fix ordering of statements in Abstract -\> Internal [\#2040](https://github.com/anoma/juvix/pull/2040) ([janmasrovira](https://github.com/janmasrovira)) ## [v0.3.3](https://github.com/anoma/juvix/tree/v0.3.3) (2023-05-08) [Full Changelog](https://github.com/anoma/juvix/compare/v0.3.2...v0.3.3) **Implemented enhancements:** - Update to latest stdlib [\#2048](https://github.com/anoma/juvix/pull/2048) ([paulcadman](https://github.com/paulcadman)) - Support module imports in Juvix REPL [\#2029](https://github.com/anoma/juvix/pull/2029) ([paulcadman](https://github.com/paulcadman)) - Make format command's filepath optional [\#2028](https://github.com/anoma/juvix/pull/2028) ([vrom911](https://github.com/vrom911)) - format long lambda clause body on a new line [\#2015](https://github.com/anoma/juvix/pull/2015) ([paulcadman](https://github.com/paulcadman)) - Support more paths [\#2000](https://github.com/anoma/juvix/pull/2000) ([janmasrovira](https://github.com/janmasrovira)) - Add: pragma support [\#1997](https://github.com/anoma/juvix/pull/1997) ([lukaszcz](https://github.com/lukaszcz)) **Merged pull requests:** - Fix pipeline setup in the repl [\#2046](https://github.com/anoma/juvix/pull/2046) ([janmasrovira](https://github.com/janmasrovira)) - Fix HasExpressions ConstructorApp [\#2044](https://github.com/anoma/juvix/pull/2044) ([paulcadman](https://github.com/paulcadman)) - Fix fromSource behaviour when both stdin and filename [\#2043](https://github.com/anoma/juvix/pull/2043) ([vrom911](https://github.com/vrom911)) - Return endLine info in highlighting command [\#2042](https://github.com/anoma/juvix/pull/2042) ([vrom911](https://github.com/vrom911)) - Enable self-application test [\#2041](https://github.com/anoma/juvix/pull/2041) ([janmasrovira](https://github.com/janmasrovira)) - Add bank example [\#2037](https://github.com/anoma/juvix/pull/2037) ([janmasrovira](https://github.com/janmasrovira)) - Substitute calls after lambda lifting [\#2031](https://github.com/anoma/juvix/pull/2031) ([janmasrovira](https://github.com/janmasrovira)) - Add delimiter face [\#2027](https://github.com/anoma/juvix/pull/2027) ([janmasrovira](https://github.com/janmasrovira)) - Propertly register top module name in scoper [\#2026](https://github.com/anoma/juvix/pull/2026) ([janmasrovira](https://github.com/janmasrovira)) - Add judoc code annotation and face [\#2025](https://github.com/anoma/juvix/pull/2025) ([janmasrovira](https://github.com/janmasrovira)) - Fix dependencies suggestion in missing module error [\#2024](https://github.com/anoma/juvix/pull/2024) ([paulcadman](https://github.com/paulcadman)) - Remove docs related files [\#2023](https://github.com/anoma/juvix/pull/2023) ([jonaprieto](https://github.com/jonaprieto)) - Improve formatting of comments [\#2022](https://github.com/anoma/juvix/pull/2022) ([janmasrovira](https://github.com/janmasrovira)) - Support positive arity typealias in arity checker [\#2021](https://github.com/anoma/juvix/pull/2021) ([paulcadman](https://github.com/paulcadman)) - Add format stdin smoke tests [\#2019](https://github.com/anoma/juvix/pull/2019) ([vrom911](https://github.com/vrom911)) - Add `juvix clean` to remove project build artifact directory [\#2018](https://github.com/anoma/juvix/pull/2018) ([paulcadman](https://github.com/paulcadman)) - Sync stdlib [\#2012](https://github.com/anoma/juvix/pull/2012) ([janmasrovira](https://github.com/janmasrovira)) - Ide improvements [\#2009](https://github.com/anoma/juvix/pull/2009) ([janmasrovira](https://github.com/janmasrovira)) ## [v0.3.2](https://github.com/anoma/juvix/tree/v0.3.2) (2023-04-18) [Full Changelog](https://github.com/anoma/juvix/compare/v0.3.1...v0.3.2) **Implemented enhancements:** - Qualified imports [\#2004](https://github.com/anoma/juvix/pull/2004) ([janmasrovira](https://github.com/janmasrovira)) - Pretty print JuvixCore values consistently with Juvix syntax [\#1988](https://github.com/anoma/juvix/pull/1988) ([lukaszcz](https://github.com/lukaszcz)) - Add: the 'seq' builtin \(\>\>\>\) [\#1982](https://github.com/anoma/juvix/pull/1982) ([lukaszcz](https://github.com/lukaszcz)) - Fix: pprint positive kw for data types [\#1980](https://github.com/anoma/juvix/pull/1980) ([jonaprieto](https://github.com/jonaprieto)) - Fix: format juvix files in test/positive [\#1978](https://github.com/anoma/juvix/pull/1978) ([jonaprieto](https://github.com/jonaprieto)) - Add syntax highlighting for juvix code blocks in docs [\#1971](https://github.com/anoma/juvix/pull/1971) ([jonaprieto](https://github.com/jonaprieto)) - Add juvix global project under xdg directory and other improvements [\#1963](https://github.com/anoma/juvix/pull/1963) ([janmasrovira](https://github.com/janmasrovira)) - Add builtin integer type to the surface language [\#1948](https://github.com/anoma/juvix/pull/1948) ([paulcadman](https://github.com/paulcadman)) **Merged pull requests:** - Preserve escaped " in String literals [\#2011](https://github.com/anoma/juvix/pull/2011) ([paulcadman](https://github.com/paulcadman)) - Fix: broken links of Example programs [\#2003](https://github.com/anoma/juvix/pull/2003) ([jonaprieto](https://github.com/jonaprieto)) - Write compile output file to invoke dir by default [\#1999](https://github.com/anoma/juvix/pull/1999) ([paulcadman](https://github.com/paulcadman)) - Add minor improvements to the docs [\#1995](https://github.com/anoma/juvix/pull/1995) ([vrom911](https://github.com/vrom911)) - ci: Specify llvm version in brew prefix command [\#1990](https://github.com/anoma/juvix/pull/1990) ([paulcadman](https://github.com/paulcadman)) - Fix location for case expressions [\#1987](https://github.com/anoma/juvix/pull/1987) ([lukaszcz](https://github.com/lukaszcz)) - Fix: add supported targets as option for compile commands [\#1983](https://github.com/anoma/juvix/pull/1983) ([jonaprieto](https://github.com/jonaprieto)) - Fix: Stop 'make check' at first failure [\#1981](https://github.com/anoma/juvix/pull/1981) ([jonaprieto](https://github.com/jonaprieto)) - Test numbering [\#1977](https://github.com/anoma/juvix/pull/1977) ([lukaszcz](https://github.com/lukaszcz)) - Refactor Core datastructures [\#1975](https://github.com/anoma/juvix/pull/1975) ([lukaszcz](https://github.com/lukaszcz)) - Add Juvix to all benchmarks [\#1974](https://github.com/anoma/juvix/pull/1974) ([lukaszcz](https://github.com/lukaszcz)) - Check for the executable \(WASM/native\) pipeline prerequisites [\#1970](https://github.com/anoma/juvix/pull/1970) ([lukaszcz](https://github.com/lukaszcz)) - Print quoted strings in the runtime [\#1969](https://github.com/anoma/juvix/pull/1969) ([lukaszcz](https://github.com/lukaszcz)) - Update the tutorial [\#1967](https://github.com/anoma/juvix/pull/1967) ([lukaszcz](https://github.com/lukaszcz)) - Fix PrettyCode \(Maybe a\) instance "Just" case [\#1966](https://github.com/anoma/juvix/pull/1966) ([paulcadman](https://github.com/paulcadman)) - Documentation for projects and modules [\#1962](https://github.com/anoma/juvix/pull/1962) ([janmasrovira](https://github.com/janmasrovira)) - repl: Run disambiguateNames on result node [\#1961](https://github.com/anoma/juvix/pull/1961) ([paulcadman](https://github.com/paulcadman)) - Add FoldTypeSynonyms Transformation to Geb Pipeline and more Geb Tests [\#1956](https://github.com/anoma/juvix/pull/1956) ([lukaszcz](https://github.com/lukaszcz)) - Support local modules [\#1872](https://github.com/anoma/juvix/pull/1872) ([janmasrovira](https://github.com/janmasrovira)) ## [v0.3.1](https://github.com/anoma/juvix/tree/v0.3.1) (2023-03-31) [Full Changelog](https://github.com/anoma/juvix/compare/v0.3.0...v0.3.1) **Implemented enhancements:** - Option `--show-args-num` [\#1946](https://github.com/anoma/juvix/pull/1946) ([lukaszcz](https://github.com/lukaszcz)) - Preserve the target type in letrec lifting [\#1945](https://github.com/anoma/juvix/pull/1945) ([janmasrovira](https://github.com/janmasrovira)) - Add syntax highlighting to Core error messages [\#1938](https://github.com/anoma/juvix/pull/1938) ([lukaszcz](https://github.com/lukaszcz)) - Add the `--unroll` option [\#1935](https://github.com/anoma/juvix/pull/1935) ([lukaszcz](https://github.com/lukaszcz)) - Preserve name and location information in Internal-to-Core [\#1933](https://github.com/anoma/juvix/pull/1933) ([lukaszcz](https://github.com/lukaszcz)) - Polymorphic type inference in Core [\#1931](https://github.com/anoma/juvix/pull/1931) ([lukaszcz](https://github.com/lukaszcz)) - Update README.md with Juvix nightly builds badge [\#1923](https://github.com/anoma/juvix/pull/1923) ([jonaprieto](https://github.com/jonaprieto)) - Create clean-up-cache.yaml [\#1915](https://github.com/anoma/juvix/pull/1915) ([jonaprieto](https://github.com/jonaprieto)) - Update GitHub pages deployment using deploy-pages action [\#1910](https://github.com/anoma/juvix/pull/1910) ([jonaprieto](https://github.com/jonaprieto)) - Check for recursive inductive types in the GEB pipeline [\#1909](https://github.com/anoma/juvix/pull/1909) ([lukaszcz](https://github.com/lukaszcz)) - CI pre-commit maintenance [\#1905](https://github.com/anoma/juvix/pull/1905) ([jonaprieto](https://github.com/jonaprieto)) - Add new README and md files [\#1904](https://github.com/anoma/juvix/pull/1904) ([jonaprieto](https://github.com/jonaprieto)) - Print JuvixCore correctly [\#1875](https://github.com/anoma/juvix/pull/1875) ([lukaszcz](https://github.com/lukaszcz)) - Pattern matching compilation [\#1874](https://github.com/anoma/juvix/pull/1874) ([lukaszcz](https://github.com/lukaszcz)) - CI Haskell maintenance [\#1797](https://github.com/anoma/juvix/pull/1797) ([jonaprieto](https://github.com/jonaprieto)) **Merged pull requests:** - Let-folding after lifting [\#1955](https://github.com/anoma/juvix/pull/1955) ([lukaszcz](https://github.com/lukaszcz)) - Fix removal of polymorphic type arguments [\#1954](https://github.com/anoma/juvix/pull/1954) ([lukaszcz](https://github.com/lukaszcz)) - Fix a bug in closure traversal [\#1953](https://github.com/anoma/juvix/pull/1953) ([lukaszcz](https://github.com/lukaszcz)) - Update typecheck command to check for coverage [\#1952](https://github.com/anoma/juvix/pull/1952) ([janmasrovira](https://github.com/janmasrovira)) - CI: Ignore errors linux typecheck / format examples step [\#1950](https://github.com/anoma/juvix/pull/1950) ([paulcadman](https://github.com/paulcadman)) - Filter out type synonyms in RemoveTypeArgs [\#1949](https://github.com/anoma/juvix/pull/1949) ([lukaszcz](https://github.com/lukaszcz)) - Add fail nodes to Geb [\#1947](https://github.com/anoma/juvix/pull/1947) ([lukaszcz](https://github.com/lukaszcz)) - End-to-end Geb compilation tests [\#1942](https://github.com/anoma/juvix/pull/1942) ([lukaszcz](https://github.com/lukaszcz)) - Add juvix dev repl command [\#1941](https://github.com/anoma/juvix/pull/1941) ([paulcadman](https://github.com/paulcadman)) - Refactor Geb values [\#1940](https://github.com/anoma/juvix/pull/1940) ([lukaszcz](https://github.com/lukaszcz)) - Avoid capturing the same free variable multiple times in letrec lifting [\#1939](https://github.com/anoma/juvix/pull/1939) ([janmasrovira](https://github.com/janmasrovira)) - Add Judoc syntax reference [\#1934](https://github.com/anoma/juvix/pull/1934) ([janmasrovira](https://github.com/janmasrovira)) - Fix spacing of judoc in the formatter [\#1932](https://github.com/anoma/juvix/pull/1932) ([janmasrovira](https://github.com/janmasrovira)) - bench: Fix juvix compile flag for wasm [\#1925](https://github.com/anoma/juvix/pull/1925) ([paulcadman](https://github.com/paulcadman)) - Fix memory count for string operations [\#1924](https://github.com/anoma/juvix/pull/1924) ([lukaszcz](https://github.com/lukaszcz)) - Let folding [\#1921](https://github.com/anoma/juvix/pull/1921) ([lukaszcz](https://github.com/lukaszcz)) - Add a test suite for milestone examples [\#1920](https://github.com/anoma/juvix/pull/1920) ([paulcadman](https://github.com/paulcadman)) - Add --numeric-version flag [\#1918](https://github.com/anoma/juvix/pull/1918) ([jonaprieto](https://github.com/jonaprieto)) - Fix bug with unregistered builtin bool [\#1917](https://github.com/anoma/juvix/pull/1917) ([lukaszcz](https://github.com/lukaszcz)) - Recursion unrolling for functions [\#1912](https://github.com/anoma/juvix/pull/1912) ([lukaszcz](https://github.com/lukaszcz)) - Fix REPL state to include enough information to rerun the pipeline [\#1911](https://github.com/anoma/juvix/pull/1911) ([janmasrovira](https://github.com/janmasrovira)) - CI Haskell fix for macOS build [\#1908](https://github.com/anoma/juvix/pull/1908) ([jonaprieto](https://github.com/jonaprieto)) - Fix bug in IO runtime [\#1906](https://github.com/anoma/juvix/pull/1906) ([lukaszcz](https://github.com/lukaszcz)) - Fix JuvixAsm validation [\#1903](https://github.com/anoma/juvix/pull/1903) ([lukaszcz](https://github.com/lukaszcz)) - Fix registration of builtin inductive axioms [\#1901](https://github.com/anoma/juvix/pull/1901) ([paulcadman](https://github.com/paulcadman)) - internal-to-core: Fix index shifting of pattern arguments [\#1900](https://github.com/anoma/juvix/pull/1900) ([paulcadman](https://github.com/paulcadman)) - Fix de Bruijn indices in rmap [\#1898](https://github.com/anoma/juvix/pull/1898) ([lukaszcz](https://github.com/lukaszcz)) - Normalize types in repl [\#1897](https://github.com/anoma/juvix/pull/1897) ([janmasrovira](https://github.com/janmasrovira)) - Add MidSquareHash.juvix and fix types in MidSquareHash.jvc [\#1896](https://github.com/anoma/juvix/pull/1896) ([lukaszcz](https://github.com/lukaszcz)) - Automatically detect and split mutually recursive blocks in let expressions [\#1894](https://github.com/anoma/juvix/pull/1894) ([janmasrovira](https://github.com/janmasrovira)) - The `rmap` recursor [\#1893](https://github.com/anoma/juvix/pull/1893) ([lukaszcz](https://github.com/lukaszcz)) - Add `juvix format` command [\#1886](https://github.com/anoma/juvix/pull/1886) ([paulcadman](https://github.com/paulcadman)) - Make keyword `end` optional for top modules [\#1883](https://github.com/anoma/juvix/pull/1883) ([janmasrovira](https://github.com/janmasrovira)) - Add errors to the Core pipeline and check GEB prerequisites [\#1871](https://github.com/anoma/juvix/pull/1871) ([lukaszcz](https://github.com/lukaszcz)) - Test core to geb translation [\#1865](https://github.com/anoma/juvix/pull/1865) ([jonaprieto](https://github.com/jonaprieto)) ## [v0.3.0](https://github.com/anoma/juvix/tree/v0.3.0) (2023-03-15) [Full Changelog](https://github.com/anoma/juvix/compare/v0.2.9...v0.3.0) **Implemented enhancements:** - Avoid line breaks in applications within a type signature [#1850](https://github.com/anoma/juvix/issues/1850) ([paulcadman](https://github.com/paulcadman)) - Respect user's spacing decisions in the formatter [#1837](https://github.com/anoma/juvix/issues/1837) ([janmasrovira](https://github.com/janmasrovira)) - Formatter should not transform ASCII symbols to unicode by default [#1827](https://github.com/anoma/juvix/issues/1827) ([janmasrovira](https://github.com/janmasrovira)) - Enable match-to-case, nat-to-int and convert-builtins by default in REPL [#1825](https://github.com/anoma/juvix/issues/1825) ([lukaszcz](https://github.com/lukaszcz)) - The Juvix formatter works poorly with multi-line ifs [#1793](https://github.com/anoma/juvix/issues/1793) ([janmasrovira](https://github.com/janmasrovira)) - Add a lazy IO sequencing function (#1772) [#1773](https://github.com/anoma/juvix/issues/1773) ([lukaszcz](https://github.com/lukaszcz)) - Support LetRec in the GEB backend [#1756](https://github.com/anoma/juvix/issues/1756) ([janmasrovira](https://github.com/janmasrovira)) - Support integers in the GEB backend [#1753](https://github.com/anoma/juvix/issues/1753) ([lukaszcz](https://github.com/lukaszcz)) - GEB evaluator [#1751](https://github.com/anoma/juvix/issues/1751) ([jonaprieto](https://github.com/jonaprieto)) - Add debugging builtin functions [#1731](https://github.com/anoma/juvix/issues/1731) ([jonaprieto](https://github.com/jonaprieto)) - Non-judoc comments are removed when generating HTML output [#1723](https://github.com/anoma/juvix/issues/1723) ([janmasrovira](https://github.com/janmasrovira)) - Special syntax for `case` [#1716](https://github.com/anoma/juvix/issues/1716) ([janmasrovira](https://github.com/janmasrovira)) - Make \|\| and && lazy [#1701](https://github.com/anoma/juvix/issues/1701) ([lukaszcz](https://github.com/lukaszcz)) - It should be possible to specify multiple implicit type arguments at once [#1692](https://github.com/anoma/juvix/issues/1692) ([janmasrovira](https://github.com/janmasrovira)) - Naive compilation of complex pattern matches with match-expressions to decision trees with case-expressions [#1531](https://github.com/anoma/juvix/issues/1531) ([paulcadman](https://github.com/paulcadman)) - New compilation pipeline [#1832](https://github.com/anoma/juvix/pull/1832) ([lukaszcz](https://github.com/lukaszcz)) - Add internal core-eval option to evaluate named function identifier [#1819](https://github.com/anoma/juvix/pull/1819) ([paulcadman](https://github.com/paulcadman)) - Short syntax for sequences of function and datatype parameters [#1809](https://github.com/anoma/juvix/pull/1809) ([lukaszcz](https://github.com/lukaszcz)) - Add Geb Backend Evaluator with some extra subcommands [#1808](https://github.com/anoma/juvix/pull/1808) ([jonaprieto](https://github.com/jonaprieto)) - Add REPL option to apply Core transformations [#1796](https://github.com/anoma/juvix/pull/1796) ([paulcadman](https://github.com/paulcadman)) - String builtins [#1784](https://github.com/anoma/juvix/pull/1784) ([lukaszcz](https://github.com/lukaszcz)) - Use restore/save github action to speed up the CI testing [#1783](https://github.com/anoma/juvix/pull/1783) ([jonaprieto](https://github.com/jonaprieto)) - Fix minor issue with ==% for type equality [#1780](https://github.com/anoma/juvix/pull/1780) ([jonaprieto](https://github.com/jonaprieto)) - Add debugging builtin functions `trace` and `fail` [#1771](https://github.com/anoma/juvix/pull/1771) ([jonaprieto](https://github.com/jonaprieto)) - Keep regular comments in html output [#1766](https://github.com/anoma/juvix/pull/1766) ([janmasrovira](https://github.com/janmasrovira)) - Lazy boolean operators [#1743](https://github.com/anoma/juvix/pull/1743) ([lukaszcz](https://github.com/lukaszcz)) - Refactor `html` command with extra options [#1725](https://github.com/anoma/juvix/pull/1725) ([jonaprieto](https://github.com/jonaprieto)) - Add initial setup for codespaces [#1713](https://github.com/anoma/juvix/pull/1713) ([jonaprieto](https://github.com/jonaprieto)) - Typecheck let expressions [#1712](https://github.com/anoma/juvix/pull/1712) ([janmasrovira](https://github.com/janmasrovira)) - Use Smoke instead of shelltestrunner [#1710](https://github.com/anoma/juvix/pull/1710) ([jonaprieto](https://github.com/jonaprieto)) - Replace –output-dir flag by –internal-build-dir [#1707](https://github.com/anoma/juvix/pull/1707) ([jonaprieto](https://github.com/jonaprieto)) - Compiler output [#1705](https://github.com/anoma/juvix/pull/1705) ([jonaprieto](https://github.com/jonaprieto)) - Allow optional pipe before the first constructor for inductive type declarations [#1699](https://github.com/anoma/juvix/pull/1699) ([jonaprieto](https://github.com/jonaprieto)) - Nat builtins [#1686](https://github.com/anoma/juvix/pull/1686) ([lukaszcz](https://github.com/lukaszcz)) **Merged pull requests:** - Remove dead code in `Internal` [#1891](https://github.com/anoma/juvix/pull/1891) ([janmasrovira](https://github.com/janmasrovira)) - Remove missing Juvix examples and webapp example from docs build [#1890](https://github.com/anoma/juvix/pull/1890) ([paulcadman](https://github.com/paulcadman)) - Fix type synonym in let [#1880](https://github.com/anoma/juvix/pull/1880) ([janmasrovira](https://github.com/janmasrovira)) - Update stack resolver to lts-20.12 [#1873](https://github.com/anoma/juvix/pull/1873) ([paulcadman](https://github.com/paulcadman)) - Use Ape to format patterns [#1870](https://github.com/anoma/juvix/pull/1870) ([janmasrovira](https://github.com/janmasrovira)) - Fix Core-To-Geb translation [#1863](https://github.com/anoma/juvix/pull/1863) ([jonaprieto](https://github.com/jonaprieto)) - Remove the old C backend [#1862](https://github.com/anoma/juvix/pull/1862) ([lukaszcz](https://github.com/lukaszcz)) - Move `substEnv` to its own module [#1861](https://github.com/anoma/juvix/pull/1861) ([janmasrovira](https://github.com/janmasrovira)) - Add `_caseTypeWholeExpression` to Internal [#1860](https://github.com/anoma/juvix/pull/1860) ([janmasrovira](https://github.com/janmasrovira)) - remove old minihaskell files [#1859](https://github.com/anoma/juvix/pull/1859) ([jonaprieto](https://github.com/jonaprieto)) - Fix bugs in the Case translation in Core-to-Geb [#1858](https://github.com/anoma/juvix/pull/1858) ([lukaszcz](https://github.com/lukaszcz)) - Format examples [#1856](https://github.com/anoma/juvix/pull/1856) ([janmasrovira](https://github.com/janmasrovira)) - Sort the identifiers topologically in the Core-to-GEB translation [#1854](https://github.com/anoma/juvix/pull/1854) ([lukaszcz](https://github.com/lukaszcz)) - Add type info to the mid-square hashing function [#1853](https://github.com/anoma/juvix/pull/1853) ([lukaszcz](https://github.com/lukaszcz)) - Use APE mechanism to format Function expressions [#1852](https://github.com/anoma/juvix/pull/1852) ([paulcadman](https://github.com/paulcadman)) - Preserve single wildcards pretty printing function parameters [#1851](https://github.com/anoma/juvix/pull/1851) ([paulcadman](https://github.com/paulcadman)) - Add type annotation to case expression [#1849](https://github.com/anoma/juvix/pull/1849) ([janmasrovira](https://github.com/janmasrovira)) - Remove module parameters [#1848](https://github.com/anoma/juvix/pull/1848) ([janmasrovira](https://github.com/janmasrovira)) - Allow shadowing local variables with let function definitions [#1847](https://github.com/anoma/juvix/pull/1847) ([janmasrovira](https://github.com/janmasrovira)) - Add lambda type info [#1845](https://github.com/anoma/juvix/pull/1845) ([janmasrovira](https://github.com/janmasrovira)) - Improve comma formatting [#1842](https://github.com/anoma/juvix/pull/1842) ([janmasrovira](https://github.com/janmasrovira)) - Improve formatter [#1840](https://github.com/anoma/juvix/pull/1840) ([janmasrovira](https://github.com/janmasrovira)) - Respect lambda Ascii/Unicode [#1838](https://github.com/anoma/juvix/pull/1838) ([janmasrovira](https://github.com/janmasrovira)) - Fix `juvix init` [#1835](https://github.com/anoma/juvix/pull/1835) ([janmasrovira](https://github.com/janmasrovira)) - The formatter respects the ascii function arrow [#1834](https://github.com/anoma/juvix/pull/1834) ([janmasrovira](https://github.com/janmasrovira)) - Add `dev core from-concrete` command [#1833](https://github.com/anoma/juvix/pull/1833) ([janmasrovira](https://github.com/janmasrovira)) - Give proper errors for incorrect application of lazy builtins [#1830](https://github.com/anoma/juvix/pull/1830) ([lukaszcz](https://github.com/lukaszcz)) - Documentation: update language reference [#1829](https://github.com/anoma/juvix/pull/1829) ([lukaszcz](https://github.com/lukaszcz)) - Add compilation of complex pattern matching to case [#1824](https://github.com/anoma/juvix/pull/1824) ([paulcadman](https://github.com/paulcadman)) - Apply CI ghcup workaround to docs build [#1823](https://github.com/anoma/juvix/pull/1823) ([paulcadman](https://github.com/paulcadman)) - Update the Juvix tutorial for 0.3 [#1822](https://github.com/anoma/juvix/pull/1822) ([lukaszcz](https://github.com/lukaszcz)) - Workaround ghcup issue on CI runner [#1821](https://github.com/anoma/juvix/pull/1821) ([paulcadman](https://github.com/paulcadman)) - Respect the `juvix dev highlight --format` flag when outputting errors [#1820](https://github.com/anoma/juvix/pull/1820) ([janmasrovira](https://github.com/janmasrovira)) - Comments about the usage of the JuvixCore recursors [#1818](https://github.com/anoma/juvix/pull/1818) ([lukaszcz](https://github.com/lukaszcz)) - Emacs mode and VSCode extension tutorials [#1815](https://github.com/anoma/juvix/pull/1815) ([lukaszcz](https://github.com/lukaszcz)) - Documentation: how to compile Juvix programs [#1813](https://github.com/anoma/juvix/pull/1813) ([lukaszcz](https://github.com/lukaszcz)) - Make '\>\>' lazy [#1812](https://github.com/anoma/juvix/pull/1812) ([lukaszcz](https://github.com/lukaszcz)) - Output proper GEB Lisp programs [#1810](https://github.com/anoma/juvix/pull/1810) ([lukaszcz](https://github.com/lukaszcz)) - Remove the usage annotation syntax [#1805](https://github.com/anoma/juvix/pull/1805) ([lukaszcz](https://github.com/lukaszcz)) - Mid-square hashing implemented in JuvixCore [#1804](https://github.com/anoma/juvix/pull/1804) ([lukaszcz](https://github.com/lukaszcz)) - Autocompletion for `dev core compilation --target` [#1803](https://github.com/anoma/juvix/pull/1803) ([janmasrovira](https://github.com/janmasrovira)) - Special syntax for case [#1800](https://github.com/anoma/juvix/pull/1800) ([janmasrovira](https://github.com/janmasrovira)) - Adapt benchmarks to the new pipeline [#1795](https://github.com/anoma/juvix/pull/1795) ([lukaszcz](https://github.com/lukaszcz)) - Support letrec lifting without lambda lifting [#1794](https://github.com/anoma/juvix/pull/1794) ([janmasrovira](https://github.com/janmasrovira)) - Use the reader effect [#1791](https://github.com/anoma/juvix/pull/1791) ([janmasrovira](https://github.com/janmasrovira)) - Remove braces from let expressions [#1790](https://github.com/anoma/juvix/pull/1790) ([janmasrovira](https://github.com/janmasrovira)) - Translate as-pattern binders to Core PatternBinders [#1789](https://github.com/anoma/juvix/pull/1789) ([paulcadman](https://github.com/paulcadman)) - Fix termination with as-patterns [#1787](https://github.com/anoma/juvix/pull/1787) ([janmasrovira](https://github.com/janmasrovira)) - Allow type signatures to have a body [#1785](https://github.com/anoma/juvix/pull/1785) ([janmasrovira](https://github.com/janmasrovira)) - Track builtins in the Core InfoTable [#1782](https://github.com/anoma/juvix/pull/1782) ([paulcadman](https://github.com/paulcadman)) - Pipes for lambda clauses [#1781](https://github.com/anoma/juvix/pull/1781) ([janmasrovira](https://github.com/janmasrovira)) - Support integers in the GEB backend [#1778](https://github.com/anoma/juvix/pull/1778) ([lukaszcz](https://github.com/lukaszcz)) - Add builtin nat and bool types as start nodes in reachability analysis [#1775](https://github.com/anoma/juvix/pull/1775) ([paulcadman](https://github.com/paulcadman)) - Update pre-commit [#1772](https://github.com/anoma/juvix/pull/1772) ([jonaprieto](https://github.com/jonaprieto)) - Parse JuvixCore with absolute paths [#1770](https://github.com/anoma/juvix/pull/1770) ([paulcadman](https://github.com/paulcadman)) - Use absolute path in Core Evaluator to generate source file location [#1769](https://github.com/anoma/juvix/pull/1769) ([paulcadman](https://github.com/paulcadman)) - Install wasmer binary from Github releases [#1765](https://github.com/anoma/juvix/pull/1765) ([jonaprieto](https://github.com/jonaprieto)) - Run the new Juvix formatter for all the Juvix examples [#1764](https://github.com/anoma/juvix/pull/1764) ([jonaprieto](https://github.com/jonaprieto)) - Fix let expressions in the repl [#1763](https://github.com/anoma/juvix/pull/1763) ([janmasrovira](https://github.com/janmasrovira)) - Improve arity inference for repl expressions [#1762](https://github.com/anoma/juvix/pull/1762) ([janmasrovira](https://github.com/janmasrovira)) - Fix broken links and other improvements [#1761](https://github.com/anoma/juvix/pull/1761) ([jonaprieto](https://github.com/jonaprieto)) - Translate Nat builtins to the correct Core Ops [#1760](https://github.com/anoma/juvix/pull/1760) ([paulcadman](https://github.com/paulcadman)) - Remove hlint from the CI and pre-commit config [#1759](https://github.com/anoma/juvix/pull/1759) ([jonaprieto](https://github.com/jonaprieto)) - Fix demo example build [#1757](https://github.com/anoma/juvix/pull/1757) ([paulcadman](https://github.com/paulcadman)) - Basic Geb integration [#1748](https://github.com/anoma/juvix/pull/1748) ([lukaszcz](https://github.com/lukaszcz)) - Fix macOS CI build [#1747](https://github.com/anoma/juvix/pull/1747) ([paulcadman](https://github.com/paulcadman)) - Adapt Juvix programs to the new pipeline [#1746](https://github.com/anoma/juvix/pull/1746) ([lukaszcz](https://github.com/lukaszcz)) - Fix link in README for the new docs [#1745](https://github.com/anoma/juvix/pull/1745) ([lukaszcz](https://github.com/lukaszcz)) - Move juvix-mode to a separate repository [#1744](https://github.com/anoma/juvix/pull/1744) ([jonaprieto](https://github.com/jonaprieto)) - Print comments when pretty printing concrete syntax [#1737](https://github.com/anoma/juvix/pull/1737) ([janmasrovira](https://github.com/janmasrovira)) - Demo [#1736](https://github.com/anoma/juvix/pull/1736) ([lukaszcz](https://github.com/lukaszcz)) - Update CI to install Smoke, Github actions, and Makefile fixes [#1735](https://github.com/anoma/juvix/pull/1735) ([jonaprieto](https://github.com/jonaprieto)) - Update stack.yaml [#1734](https://github.com/anoma/juvix/pull/1734) ([jonaprieto](https://github.com/jonaprieto)) - Fix Nat builtins [#1733](https://github.com/anoma/juvix/pull/1733) ([lukaszcz](https://github.com/lukaszcz)) - Script to count LOC [#1732](https://github.com/anoma/juvix/pull/1732) ([lukaszcz](https://github.com/lukaszcz)) - Give a proper type to literal Strings [#1730](https://github.com/anoma/juvix/pull/1730) ([paulcadman](https://github.com/paulcadman)) - Do not filter implicit args in internal to core translation [#1728](https://github.com/anoma/juvix/pull/1728) ([paulcadman](https://github.com/paulcadman)) - Fix de Brujin indexing of lambda arguments [#1727](https://github.com/anoma/juvix/pull/1727) ([paulcadman](https://github.com/paulcadman)) - Fix inference loop [#1726](https://github.com/anoma/juvix/pull/1726) ([janmasrovira](https://github.com/janmasrovira)) - Remove wildcard patterns from Internal [#1724](https://github.com/anoma/juvix/pull/1724) ([janmasrovira](https://github.com/janmasrovira)) - Restructure the documentation and add a tutorial [#1718](https://github.com/anoma/juvix/pull/1718) ([lukaszcz](https://github.com/lukaszcz)) - Improve error message for confusing ':=' with '=' [#1715](https://github.com/anoma/juvix/pull/1715) ([lukaszcz](https://github.com/lukaszcz)) - Fix #1704 [#1711](https://github.com/anoma/juvix/pull/1711) ([janmasrovira](https://github.com/janmasrovira)) - Fix #1693 [#1708](https://github.com/anoma/juvix/pull/1708) ([janmasrovira](https://github.com/janmasrovira)) - Tests for the new compilation pipeline [#1703](https://github.com/anoma/juvix/pull/1703) ([lukaszcz](https://github.com/lukaszcz)) - Add printString and printBool support to legacy C backend [#1698](https://github.com/anoma/juvix/pull/1698) ([paulcadman](https://github.com/paulcadman)) - Add –show-de-bruijn option to `juvix repl` [#1694](https://github.com/anoma/juvix/pull/1694) ([lukaszcz](https://github.com/lukaszcz)) - Allow 'terminating' keyword with builtins [#1688](https://github.com/anoma/juvix/pull/1688) ([lukaszcz](https://github.com/lukaszcz)) - Remove unicode cons symbol [#1687](https://github.com/anoma/juvix/pull/1687) ([lukaszcz](https://github.com/lukaszcz)) - Change syntax for ind. data types and forbid the empty data type [#1684](https://github.com/anoma/juvix/pull/1684) ([jonaprieto](https://github.com/jonaprieto)) - Convert Nat literals to Core integers [#1681](https://github.com/anoma/juvix/pull/1681) ([lukaszcz](https://github.com/lukaszcz)) - Less verbose output from running `make check` [#1675](https://github.com/anoma/juvix/pull/1675) ([jonaprieto](https://github.com/jonaprieto)) - Remove where syntax [#1674](https://github.com/anoma/juvix/pull/1674) ([jonaprieto](https://github.com/jonaprieto)) - Benchmarks [#1673](https://github.com/anoma/juvix/pull/1673) ([janmasrovira](https://github.com/janmasrovira)) - JuvixCore to JuvixAsm translation [#1665](https://github.com/anoma/juvix/pull/1665) ([lukaszcz](https://github.com/lukaszcz)) ## [v0.2.9](https://github.com/anoma/juvix/tree/v0.2.9) (2023-01-18) [Full Changelog](https://github.com/anoma/juvix/compare/v0.2.8...v0.2.9) **Implemented enhancements:** - Refactor `html` command with extra options [#1725](https://github.com/anoma/juvix/pull/1725) ([jonaprieto](https://github.com/jonaprieto)) - Add initial setup for codespaces [#1713](https://github.com/anoma/juvix/pull/1713) ([jonaprieto](https://github.com/jonaprieto)) - Typecheck let expressions [#1712](https://github.com/anoma/juvix/pull/1712) ([janmasrovira](https://github.com/janmasrovira)) - Use Smoke instead of shelltestrunner [#1710](https://github.com/anoma/juvix/pull/1710) ([jonaprieto](https://github.com/jonaprieto)) - Replace –output-dir flag by –internal-build-dir [#1707](https://github.com/anoma/juvix/pull/1707) ([jonaprieto](https://github.com/jonaprieto)) - Compiler output [#1705](https://github.com/anoma/juvix/pull/1705) ([jonaprieto](https://github.com/jonaprieto)) - Allow optional pipe before the first constructor for inductive type declarations [#1699](https://github.com/anoma/juvix/pull/1699) ([jonaprieto](https://github.com/jonaprieto)) - Nat builtins [#1686](https://github.com/anoma/juvix/pull/1686) ([lukaszcz](https://github.com/lukaszcz)) **Merged pull requests:** - Demo [#1736](https://github.com/anoma/juvix/pull/1736) ([lukaszcz](https://github.com/lukaszcz)) - Update stack.yaml [#1734](https://github.com/anoma/juvix/pull/1734) ([jonaprieto](https://github.com/jonaprieto)) - Fix Nat builtins [#1733](https://github.com/anoma/juvix/pull/1733) ([lukaszcz](https://github.com/lukaszcz)) - Script to count LOC [#1732](https://github.com/anoma/juvix/pull/1732) ([lukaszcz](https://github.com/lukaszcz)) - Give a proper type to literal Strings [#1730](https://github.com/anoma/juvix/pull/1730) ([paulcadman](https://github.com/paulcadman)) - Do not filter implicit args in internal to core translation [#1728](https://github.com/anoma/juvix/pull/1728) ([paulcadman](https://github.com/paulcadman)) - Fix de Brujin indexing of lambda arguments [#1727](https://github.com/anoma/juvix/pull/1727) ([paulcadman](https://github.com/paulcadman)) - Fix inference loop [#1726](https://github.com/anoma/juvix/pull/1726) ([janmasrovira](https://github.com/janmasrovira)) - Remove wildcard patterns from Internal [#1724](https://github.com/anoma/juvix/pull/1724) ([janmasrovira](https://github.com/janmasrovira)) - Restructure the documentation and add a tutorial [#1718](https://github.com/anoma/juvix/pull/1718) ([lukaszcz](https://github.com/lukaszcz)) - Improve error message for confusing ':=' with '=' [#1715](https://github.com/anoma/juvix/pull/1715) ([lukaszcz](https://github.com/lukaszcz)) - Fix #1704 [#1711](https://github.com/anoma/juvix/pull/1711) ([janmasrovira](https://github.com/janmasrovira)) - Fix #1693 [#1708](https://github.com/anoma/juvix/pull/1708) ([janmasrovira](https://github.com/janmasrovira)) - Tests for the new compilation pipeline [#1703](https://github.com/anoma/juvix/pull/1703) ([lukaszcz](https://github.com/lukaszcz)) - Add printString and printBool support to legacy C backend [#1698](https://github.com/anoma/juvix/pull/1698) ([paulcadman](https://github.com/paulcadman)) - Add –show-de-bruijn option to `juvix repl` [#1694](https://github.com/anoma/juvix/pull/1694) ([lukaszcz](https://github.com/lukaszcz)) - Allow 'terminating' keyword with builtins [#1688](https://github.com/anoma/juvix/pull/1688) ([lukaszcz](https://github.com/lukaszcz)) - Remove unicode cons symbol [#1687](https://github.com/anoma/juvix/pull/1687) ([lukaszcz](https://github.com/lukaszcz)) - Change syntax for ind. data types and forbid the empty data type [#1684](https://github.com/anoma/juvix/pull/1684) ([jonaprieto](https://github.com/jonaprieto)) - Convert Nat literals to Core integers [#1681](https://github.com/anoma/juvix/pull/1681) ([lukaszcz](https://github.com/lukaszcz)) - Less verbose output from running `make check` [#1675](https://github.com/anoma/juvix/pull/1675) ([jonaprieto](https://github.com/jonaprieto)) - Remove where syntax [#1674](https://github.com/anoma/juvix/pull/1674) ([jonaprieto](https://github.com/jonaprieto)) - Benchmarks [#1673](https://github.com/anoma/juvix/pull/1673) ([janmasrovira](https://github.com/janmasrovira)) - JuvixCore to JuvixAsm translation [#1665](https://github.com/anoma/juvix/pull/1665) ([lukaszcz](https://github.com/lukaszcz)) ## [v0.2.8](https://github.com/anoma/juvix/tree/v0.2.8) (2022-12-20) [Full Changelog](https://github.com/anoma/juvix/compare/v0.2.7...v0.2.8) **Implemented enhancements:** - Support basic dependencies [#1622](https://github.com/anoma/juvix/pull/1622) ([janmasrovira](https://github.com/janmasrovira)) **Merged pull requests:** - Refactor hie.yaml and add entry in the readme [#1672](https://github.com/anoma/juvix/pull/1672) ([janmasrovira](https://github.com/janmasrovira)) - Fix inline monospace formatted text in README [#1671](https://github.com/anoma/juvix/pull/1671) ([paulcadman](https://github.com/paulcadman)) - Pin mdbook to version 0.4.22 in docs build [#1670](https://github.com/anoma/juvix/pull/1670) ([paulcadman](https://github.com/paulcadman)) - Add option to specify Core transformations to `dev internal core-eval` [#1669](https://github.com/anoma/juvix/pull/1669) ([paulcadman](https://github.com/paulcadman)) - Revert "Ignore binaries generated by running some tests" [#1668](https://github.com/anoma/juvix/pull/1668) ([jonaprieto](https://github.com/jonaprieto)) - Add configuration files so the project can be built with cabal [#1667](https://github.com/anoma/juvix/pull/1667) ([paulcadman](https://github.com/paulcadman)) - Add documentation for compiling/running the TicTacToe example [#1664](https://github.com/anoma/juvix/pull/1664) ([paulcadman](https://github.com/paulcadman)) - Ignore binaries generated by running some tests [#1663](https://github.com/anoma/juvix/pull/1663) ([jonaprieto](https://github.com/jonaprieto)) - Conversion of Nat representation to JuvixCore integers [#1661](https://github.com/anoma/juvix/pull/1661) ([lukaszcz](https://github.com/lukaszcz)) - Move applications inside Lets and Cases [#1659](https://github.com/anoma/juvix/pull/1659) ([lukaszcz](https://github.com/lukaszcz)) - Run shelltests on macOS build [#1658](https://github.com/anoma/juvix/pull/1658) ([paulcadman](https://github.com/paulcadman)) - Restore macOS CI build/test [#1657](https://github.com/anoma/juvix/pull/1657) ([paulcadman](https://github.com/paulcadman)) - Remove type arguments and type abstractions from Nodes [#1655](https://github.com/anoma/juvix/pull/1655) ([lukaszcz](https://github.com/lukaszcz)) - Pretty printing of JuvixAsm code [#1650](https://github.com/anoma/juvix/pull/1650) ([lukaszcz](https://github.com/lukaszcz)) - Remove NameId from Core [#1649](https://github.com/anoma/juvix/pull/1649) ([lukaszcz](https://github.com/lukaszcz)) - Translation from JuvixAsm to C [#1619](https://github.com/anoma/juvix/pull/1619) ([lukaszcz](https://github.com/lukaszcz)) ## [v0.2.7](https://github.com/anoma/juvix/tree/v0.2.7) (2022-12-05) [Full Changelog](https://github.com/anoma/juvix/compare/v0.2.6...v0.2.7) **Implemented enhancements:** - Add juvix-repl-mode for emacs [#1612](https://github.com/anoma/juvix/pull/1612) ([paulcadman](https://github.com/paulcadman)) - Make lambda lifting correct when free variables occur in the types of binders [#1609](https://github.com/anoma/juvix/pull/1609) ([janmasrovira](https://github.com/janmasrovira)) **Merged pull requests:** - Files pure refactor [#1652](https://github.com/anoma/juvix/pull/1652) ([janmasrovira](https://github.com/janmasrovira)) - Use the same stack version in all CI jobs and remove `stack setup` step [#1651](https://github.com/anoma/juvix/pull/1651) ([paulcadman](https://github.com/paulcadman)) - Fix 'not a primitive type' error message [#1648](https://github.com/anoma/juvix/pull/1648) ([lukaszcz](https://github.com/lukaszcz)) - Upgrade stack snapshot to use ghc-9.2.5 [#1621](https://github.com/anoma/juvix/pull/1621) ([janmasrovira](https://github.com/janmasrovira)) - Add an emacs function to restart the REPL [#1618](https://github.com/anoma/juvix/pull/1618) ([paulcadman](https://github.com/paulcadman)) - Add types to Core functions and constructors when translating from Internal [#1617](https://github.com/anoma/juvix/pull/1617) ([paulcadman](https://github.com/paulcadman)) - Auto complete argument of 'dev core read -t' [#1616](https://github.com/anoma/juvix/pull/1616) ([janmasrovira](https://github.com/janmasrovira)) - Compute new entrypoint root when loading a file in the REPL [#1615](https://github.com/anoma/juvix/pull/1615) ([paulcadman](https://github.com/paulcadman)) - Compute maximum runtime stack height in JuvixReg [#1613](https://github.com/anoma/juvix/pull/1613) ([lukaszcz](https://github.com/lukaszcz)) - Remove shelltest threading [#1611](https://github.com/anoma/juvix/pull/1611) ([paulcadman](https://github.com/paulcadman)) - Use StackInfo and recurseS in the JuvixAsm to JuvixReg translation. [#1610](https://github.com/anoma/juvix/pull/1610) ([lukaszcz](https://github.com/lukaszcz)) - Precompute maximum heap allocation [#1608](https://github.com/anoma/juvix/pull/1608) ([lukaszcz](https://github.com/lukaszcz)) - Improvements to Juvix REPL [#1607](https://github.com/anoma/juvix/pull/1607) ([paulcadman](https://github.com/paulcadman)) - Fix discrepancy between Juvix and WASM pages [#1605](https://github.com/anoma/juvix/pull/1605) ([lukaszcz](https://github.com/lukaszcz)) - Compute JuvixAsm stack usage info [#1604](https://github.com/anoma/juvix/pull/1604) ([lukaszcz](https://github.com/lukaszcz)) - Improve As-Pattern parsing [#1603](https://github.com/anoma/juvix/pull/1603) ([ii8](https://github.com/ii8)) - Juvix core recursors should descend into nodes stored in infos [#1600](https://github.com/anoma/juvix/pull/1600) ([janmasrovira](https://github.com/janmasrovira)) - Add docs for installing the linux binary [#1599](https://github.com/anoma/juvix/pull/1599) ([paulcadman](https://github.com/paulcadman)) - Binder refactor [#1598](https://github.com/anoma/juvix/pull/1598) ([janmasrovira](https://github.com/janmasrovira)) - Juvix C runtime [#1580](https://github.com/anoma/juvix/pull/1580) ([lukaszcz](https://github.com/lukaszcz)) - As-patterns [#1576](https://github.com/anoma/juvix/pull/1576) ([ii8](https://github.com/ii8)) - Eta expansion at the top of each core function definition (#1481) [#1571](https://github.com/anoma/juvix/pull/1571) ([janmasrovira](https://github.com/janmasrovira)) - Add translation from Internal to Core [#1567](https://github.com/anoma/juvix/pull/1567) ([paulcadman](https://github.com/paulcadman)) ## [v0.2.6](https://github.com/anoma/juvix/tree/v0.2.6) (2022-10-26) [Full Changelog](https://github.com/anoma/juvix/compare/v0.2.5...v0.2.6) **Implemented enhancements:** - Support go to definition for the standard library [#1592](https://github.com/anoma/juvix/pull/1592) ([paulcadman](https://github.com/paulcadman)) - Add builtin if [#1585](https://github.com/anoma/juvix/pull/1585) ([paulcadman](https://github.com/paulcadman)) - Add builtin boolean [#1582](https://github.com/anoma/juvix/pull/1582) ([paulcadman](https://github.com/paulcadman)) - Add lambda expressions to internal and add typechecking support [#1538](https://github.com/anoma/juvix/pull/1538) ([janmasrovira](https://github.com/janmasrovira)) **Fixed bugs:** - Fix arity checker bug [#1546](https://github.com/anoma/juvix/pull/1546) ([janmasrovira](https://github.com/janmasrovira)) - Look in patterns when building the dependency graph [#1536](https://github.com/anoma/juvix/pull/1536) ([janmasrovira](https://github.com/janmasrovira)) **Merged pull requests:** - Update language reference to match current state of Juvix [#1594](https://github.com/anoma/juvix/pull/1594) ([paulcadman](https://github.com/paulcadman)) - Fix letrec printing [#1591](https://github.com/anoma/juvix/pull/1591) ([janmasrovira](https://github.com/janmasrovira)) - Update stdlib submodule with builtin changes [#1589](https://github.com/anoma/juvix/pull/1589) ([paulcadman](https://github.com/paulcadman)) - Rename builtin natural to nat and boolean to bool [#1588](https://github.com/anoma/juvix/pull/1588) ([paulcadman](https://github.com/paulcadman)) - Improve the test for eta-expansion of constructors and builtins [#1583](https://github.com/anoma/juvix/pull/1583) ([lukaszcz](https://github.com/lukaszcz)) - Properly newline expressions in the pretty printer [#1581](https://github.com/anoma/juvix/pull/1581) ([janmasrovira](https://github.com/janmasrovira)) - Letrec lifting [#1579](https://github.com/anoma/juvix/pull/1579) ([janmasrovira](https://github.com/janmasrovira)) - Add softlines between applications and hang definitions [#1578](https://github.com/anoma/juvix/pull/1578) ([janmasrovira](https://github.com/janmasrovira)) - Parse optional type info in JVC files [#1575](https://github.com/anoma/juvix/pull/1575) ([lukaszcz](https://github.com/lukaszcz)) - Fix symbol numbering bug [#1574](https://github.com/anoma/juvix/pull/1574) ([lukaszcz](https://github.com/lukaszcz)) - 1569 rewrite the test for lambda lifting to use evaluation [#1572](https://github.com/anoma/juvix/pull/1572) ([janmasrovira](https://github.com/janmasrovira)) - Remove lambda from reservedSymbols [#1568](https://github.com/anoma/juvix/pull/1568) ([lukaszcz](https://github.com/lukaszcz)) - Keywords refactor [#1566](https://github.com/anoma/juvix/pull/1566) ([janmasrovira](https://github.com/janmasrovira)) - remove ≔ from the language and replace it by := [#1563](https://github.com/anoma/juvix/pull/1563) ([janmasrovira](https://github.com/janmasrovira)) - JuvixReg [#1551](https://github.com/anoma/juvix/pull/1551) ([lukaszcz](https://github.com/lukaszcz)) - Remove duplicate function in concrete analysis [#1550](https://github.com/anoma/juvix/pull/1550) ([ii8](https://github.com/ii8)) - Evaluator minor style refactor [#1547](https://github.com/anoma/juvix/pull/1547) ([janmasrovira](https://github.com/janmasrovira)) - Properly handle top lambdas in the termination checker [#1544](https://github.com/anoma/juvix/pull/1544) ([janmasrovira](https://github.com/janmasrovira)) - Mutual inference [#1543](https://github.com/anoma/juvix/pull/1543) ([janmasrovira](https://github.com/janmasrovira)) - Autocomplete ".jvc" input files for core {eval, read} commands [#1542](https://github.com/anoma/juvix/pull/1542) ([paulcadman](https://github.com/paulcadman)) - Add –show-de-bruijn to `core eval` command [#1540](https://github.com/anoma/juvix/pull/1540) ([paulcadman](https://github.com/paulcadman)) - Inductive types should depend on the types of their constructors [#1537](https://github.com/anoma/juvix/pull/1537) ([lukaszcz](https://github.com/lukaszcz)) - Parser labels [#1535](https://github.com/anoma/juvix/pull/1535) ([janmasrovira](https://github.com/janmasrovira)) - JuvixAsm [#1432](https://github.com/anoma/juvix/pull/1432) ([lukaszcz](https://github.com/lukaszcz)) ## [v0.2.5](https://github.com/anoma/juvix/tree/v0.2.5) (2022-09-14) [Full Changelog](https://github.com/anoma/juvix/compare/v0.2.4...v0.2.5) **Fixed bugs:** - Properly type check patterns that need normalization [#1472](https://github.com/anoma/juvix/pull/1472) ([janmasrovira](https://github.com/janmasrovira)) - Detect nested patterns as smaller in the termination checker [#1524](https://github.com/anoma/juvix/pull/1524) - Fix developBeta in Core/Extra.hs [#1487](https://github.com/anoma/juvix/pull/1487) ([lukaszcz](https://github.com/lukaszcz)) - Core/Extra/Recursors/Collector bugfix [#1510](https://github.com/anoma/juvix/pull/1510) ([lukaszcz](https://github.com/lukaszcz)) **Merged pull requests:** - Replace -\> by := in lambda syntax [#1533](https://github.com/anoma/juvix/pull/1533) ([janmasrovira](https://github.com/janmasrovira)) - 'Match' with complex patterns in Core [#1530](https://github.com/anoma/juvix/pull/1530) ([lukaszcz](https://github.com/lukaszcz)) - Refactor CLI [#1527](https://github.com/anoma/juvix/pull/1527) ([janmasrovira](https://github.com/janmasrovira)) - Add CanonicalProjection [#1526](https://github.com/anoma/juvix/pull/1526) ([janmasrovira](https://github.com/janmasrovira)) - Make comma a delimiter [#1525](https://github.com/anoma/juvix/pull/1525) ([lukaszcz](https://github.com/lukaszcz)) - Detect nested patterns as smaller in the termination checker [#1524](https://github.com/anoma/juvix/pull/1524) ([janmasrovira](https://github.com/janmasrovira)) - Disallow tab characters as spaces [#1523](https://github.com/anoma/juvix/pull/1523) ([janmasrovira](https://github.com/janmasrovira)) - Refactor `destruct` in Core/Extra/Base [#1522](https://github.com/anoma/juvix/pull/1522) ([lukaszcz](https://github.com/lukaszcz)) - JuvixCore primitive types [#1521](https://github.com/anoma/juvix/pull/1521) ([lukaszcz](https://github.com/lukaszcz)) - Enable autocompletion for the –theme flag [#1519](https://github.com/anoma/juvix/pull/1519) ([janmasrovira](https://github.com/janmasrovira)) - Stripped version of Core Node datatype [#1518](https://github.com/anoma/juvix/pull/1518) ([lukaszcz](https://github.com/lukaszcz)) - Add `internal core read` command [#1517](https://github.com/anoma/juvix/pull/1517) ([janmasrovira](https://github.com/janmasrovira)) - Implement some instances for BinderList [#1515](https://github.com/anoma/juvix/pull/1515) ([janmasrovira](https://github.com/janmasrovira)) - Back recursor types with type families [#1514](https://github.com/anoma/juvix/pull/1514) ([janmasrovira](https://github.com/janmasrovira)) - Eager evaluation of Constr arguments [#1513](https://github.com/anoma/juvix/pull/1513) ([lukaszcz](https://github.com/lukaszcz)) - Dynamic type in Core [#1508](https://github.com/anoma/juvix/pull/1508) ([lukaszcz](https://github.com/lukaszcz)) - LetRec in Core [#1507](https://github.com/anoma/juvix/pull/1507) ([lukaszcz](https://github.com/lukaszcz)) - Add Haddock and Agda licenses [#1506](https://github.com/anoma/juvix/pull/1506) ([janmasrovira](https://github.com/janmasrovira)) - Fix docs webapp examples CI build [#1505](https://github.com/anoma/juvix/pull/1505) ([paulcadman](https://github.com/paulcadman)) - Add CLI usage examples doc and integrate with README [#1504](https://github.com/anoma/juvix/pull/1504) ([paulcadman](https://github.com/paulcadman)) - Refactor BinderInfo [#1503](https://github.com/anoma/juvix/pull/1503) ([lukaszcz](https://github.com/lukaszcz)) - Make `juvix compile` default to native target [#1502](https://github.com/anoma/juvix/pull/1502) ([paulcadman](https://github.com/paulcadman)) - Refactor Node datatype [#1501](https://github.com/anoma/juvix/pull/1501) ([lukaszcz](https://github.com/lukaszcz)) - Clean up import list in Pipeline [#1499](https://github.com/anoma/juvix/pull/1499) ([jonaprieto](https://github.com/jonaprieto)) - Remove mono [#1497](https://github.com/anoma/juvix/pull/1497) ([jonaprieto](https://github.com/jonaprieto)) - Remove Haskell support [#1496](https://github.com/anoma/juvix/pull/1496) ([jonaprieto](https://github.com/jonaprieto)) - Implement lambda lifting [#1494](https://github.com/anoma/juvix/pull/1494) ([janmasrovira](https://github.com/janmasrovira)) - Document Emacs installation and the 'exec-path' problem [#1493](https://github.com/anoma/juvix/pull/1493) ([lukaszcz](https://github.com/lukaszcz)) - Add –allow-different-user to workflow stack command [#1492](https://github.com/anoma/juvix/pull/1492) ([paulcadman](https://github.com/paulcadman)) - Stack with github actions permissions workaround [#1490](https://github.com/anoma/juvix/pull/1490) ([paulcadman](https://github.com/paulcadman)) - Restructure recursors and add some lens interfaces [#1489](https://github.com/anoma/juvix/pull/1489) ([janmasrovira](https://github.com/janmasrovira)) - Add a github action to build a static linux binary [#1488](https://github.com/anoma/juvix/pull/1488) ([paulcadman](https://github.com/paulcadman)) - Fix developBeta in Core/Extra.hs [#1487](https://github.com/anoma/juvix/pull/1487) ([lukaszcz](https://github.com/lukaszcz)) - Add an option to show name ids in errors [#1486](https://github.com/anoma/juvix/pull/1486) ([lukaszcz](https://github.com/lukaszcz)) ## [v0.2.4](https://github.com/anoma/juvix/tree/v0.2.4) (2022-08-19) [Full Changelog](https://github.com/anoma/juvix/compare/v0.2.3...v0.2.4) (Special version for Heliax's retreat in Italy) **Implemented enhancements:** - Add –stdin flag [#1459](https://github.com/anoma/juvix/pull/1459) ([janmasrovira](https://github.com/janmasrovira)) **Fixed bugs:** - Fix typechecker [#1458](https://github.com/anoma/juvix/pull/1458) ([janmasrovira](https://github.com/janmasrovira)) **Merged pull requests:** - use –stdin in flycheck mode [#1460](https://github.com/anoma/juvix/pull/1460) ([janmasrovira](https://github.com/janmasrovira)) - Add a native compile target for demos [#1457](https://github.com/anoma/juvix/pull/1457) ([paulcadman](https://github.com/paulcadman)) - Small changes for the presentation [#1456](https://github.com/anoma/juvix/pull/1456) ([jonaprieto](https://github.com/jonaprieto)) - Fixes TicTacToe Web example [#1454](https://github.com/anoma/juvix/pull/1454) ([paulcadman](https://github.com/paulcadman)) - Upgrade to ghc-9.2.4 [#1451](https://github.com/anoma/juvix/pull/1451) ([janmasrovira](https://github.com/janmasrovira)) ## [v0.2.3](https://github.com/anoma/juvix/tree/v0.2.3) (2022-08-15) [Full Changelog](https://github.com/anoma/juvix/compare/v0.2.2...v0.2.3) **Implemented enhancements:** - add `name` and `version` to `juvix.yaml` [#1422](https://github.com/anoma/juvix/pull/1422) ([janmasrovira](https://github.com/janmasrovira)) **Fixed bugs:** - Properly handle paragraphs in judoc [#1447](https://github.com/anoma/juvix/pull/1447) ([janmasrovira](https://github.com/janmasrovira)) **Merged pull requests:** - Give a proper type to literal natural numbers [#1453](https://github.com/anoma/juvix/pull/1453) ([janmasrovira](https://github.com/janmasrovira)) - Add the option to output json in the `juvix internal highlight` command [#1450](https://github.com/anoma/juvix/pull/1450) ([janmasrovira](https://github.com/janmasrovira)) for supporting the new Juvix Mode for Visual Studio Code ([jonaprieto](https://github.com/anoma/vscode-juvix)) - Allow \_ in Wasm exported names to support Anoma signature [#1449](https://github.com/anoma/juvix/pull/1449) ([paulcadman](https://github.com/paulcadman)) - Add Towers of Hanoi and Pascal triangle examples [#1446](https://github.com/anoma/juvix/pull/1446) ([paulcadman](https://github.com/paulcadman)) - Add `juvix init` command [#1445](https://github.com/anoma/juvix/pull/1445) ([janmasrovira](https://github.com/janmasrovira)) - Refactor pretty to reduce duplication [#1443](https://github.com/anoma/juvix/pull/1443) ([janmasrovira](https://github.com/janmasrovira)) - Add initial support for examples in Html documentation [#1442](https://github.com/anoma/juvix/pull/1442) ([janmasrovira](https://github.com/janmasrovira)) - Add revisions to README [#1440](https://github.com/anoma/juvix/pull/1440) ([jonaprieto](https://github.com/jonaprieto)) - CI: Run build on push to main [#1437](https://github.com/anoma/juvix/pull/1437) ([paulcadman](https://github.com/paulcadman)) - Add doctor subcommand [#1436](https://github.com/anoma/juvix/pull/1436) ([paulcadman](https://github.com/paulcadman)) - CI checkout repo before cache and use recommended cache strategy [#1435](https://github.com/anoma/juvix/pull/1435) ([paulcadman](https://github.com/paulcadman)) - Various documentation adjustments [#1434](https://github.com/anoma/juvix/pull/1434) ([paulcadman](https://github.com/paulcadman)) - Setup Clang before building docs in CI [#1433](https://github.com/anoma/juvix/pull/1433) ([paulcadman](https://github.com/paulcadman)) - Major revisions to Makefile [#1431](https://github.com/anoma/juvix/pull/1431) ([jonaprieto](https://github.com/jonaprieto)) - Do not add `-src` suffix to links in HTML when running `juvix html` [#1429](https://github.com/anoma/juvix/pull/1429) ([paulcadman](https://github.com/paulcadman)) - Add a Web version of TicTacToe [#1427](https://github.com/anoma/juvix/pull/1427) ([paulcadman](https://github.com/paulcadman)) - WASM import all non-compile axioms with alphanum names in entrypoint [#1426](https://github.com/anoma/juvix/pull/1426) ([paulcadman](https://github.com/paulcadman)) - Export all functions with alpha numeric names from entrypoint module [#1425](https://github.com/anoma/juvix/pull/1425) ([paulcadman](https://github.com/paulcadman)) - Refactor [#1420](https://github.com/anoma/juvix/pull/1420) ([jonaprieto](https://github.com/jonaprieto)) - Permit axiom without a compile block [#1418](https://github.com/anoma/juvix/pull/1418) ([paulcadman](https://github.com/paulcadman)) - Implement an html documentation generator similar to haddock (#1413) [#1416](https://github.com/anoma/juvix/pull/1416) ([janmasrovira](https://github.com/janmasrovira)) - Fix version shell test for 0.2.2 [#1415](https://github.com/anoma/juvix/pull/1415) ([paulcadman](https://github.com/paulcadman)) - Remove Int from stdlib and update SimpleFungibleToken example [#1414](https://github.com/anoma/juvix/pull/1414) ([paulcadman](https://github.com/paulcadman)) ## [v0.2.2](https://github.com/anoma/juvix/tree/v0.2.2) (2022-07-25) [Full Changelog](https://github.com/anoma/juvix/compare/v0.2.1...v0.2.2) **Implemented enhancements:** - Compute name dependency graph and filter unreachable definitions [#1408](https://github.com/anoma/juvix/pull/1408) ([lukaszcz](https://github.com/lukaszcz)) - Support type aliases [#1404](https://github.com/anoma/juvix/pull/1404) ([janmasrovira](https://github.com/janmasrovira)) - Add debugging custom function to Prelude [#1401](https://github.com/anoma/juvix/pull/1401) ([jonaprieto](https://github.com/jonaprieto)) - Add positivity check for data types [#1393](https://github.com/anoma/juvix/pull/1393) ([jonaprieto](https://github.com/jonaprieto)) - Keep qualified names [#1392](https://github.com/anoma/juvix/pull/1392) ([janmasrovira](https://github.com/janmasrovira)) - Direct translation from MicroJuvix to MiniC [#1386](https://github.com/anoma/juvix/pull/1386) ([lukaszcz](https://github.com/lukaszcz)) - Widens the accepted symbol list [#1385](https://github.com/anoma/juvix/pull/1385) ([mariari](https://github.com/mariari)) - Check all the type parameter names are different when declaring an inductive type [#1377](https://github.com/anoma/juvix/pull/1377) ([jonaprieto](https://github.com/jonaprieto)) **Fixed bugs:** - Curly braces are allowed nested in patterns [#1380](https://github.com/anoma/juvix/pull/1380) ([janmasrovira](https://github.com/janmasrovira)) **Merged pull requests:** - Add `Fail` effect (#1409) [#1411](https://github.com/anoma/juvix/pull/1411) ([janmasrovira](https://github.com/janmasrovira)) - Refactor of typechecking and other checking processes [#1410](https://github.com/anoma/juvix/pull/1410) ([jonaprieto](https://github.com/jonaprieto)) - Use bold for code in scoper error messages [#1403](https://github.com/anoma/juvix/pull/1403) ([janmasrovira](https://github.com/janmasrovira)) - Replace ppSimple by text [#1402](https://github.com/anoma/juvix/pull/1402) ([jonaprieto](https://github.com/jonaprieto)) - Implement some error messages (#1396) [#1400](https://github.com/anoma/juvix/pull/1400) ([lukaszcz](https://github.com/lukaszcz)) - Refactor childs of pattern parentheses and braces [#1398](https://github.com/anoma/juvix/pull/1398) ([janmasrovira](https://github.com/janmasrovira)) - Update Juvix standard-library [#1389](https://github.com/anoma/juvix/pull/1389) ([jonaprieto](https://github.com/jonaprieto)) - Fix documentation generation [#1387](https://github.com/anoma/juvix/pull/1387) ([jonaprieto](https://github.com/jonaprieto)) - Adds Collatz sequence generator example [#1384](https://github.com/anoma/juvix/pull/1384) ([paulcadman](https://github.com/paulcadman)) - html-examples [#1381](https://github.com/anoma/juvix/pull/1381) ([jonaprieto](https://github.com/jonaprieto)) - Refine hole in type signature to function type [#1379](https://github.com/anoma/juvix/pull/1379) ([janmasrovira](https://github.com/janmasrovira)) - Type checking fails when the type of a pattern is not given by the signature [#1378](https://github.com/anoma/juvix/pull/1378) ([janmasrovira](https://github.com/janmasrovira)) - Set cname for gh-pages action [#1376](https://github.com/anoma/juvix/pull/1376) ([paulcadman](https://github.com/paulcadman)) - Add fibonacci sequence example program [#1375](https://github.com/anoma/juvix/pull/1375) ([paulcadman](https://github.com/paulcadman)) - Fix Changelog links and minors [#1371](https://github.com/anoma/juvix/pull/1371) ([jonaprieto](https://github.com/jonaprieto)) - Add Version number to the emacs mode [#1320](https://github.com/anoma/juvix/pull/1320) ([mariari](https://github.com/mariari)) ## New name: Juvix Since version 0.2.2, the project has been renamed from "Mini Juvix" to "Juvix". The new name reflects the fact that the project is no longer just a compiler for a subset of Juvix, but a full implementation of the language. Affected by this change are: - Github repository moved from the Heliax organization to the Anoma organization. "anoma/juvix" is the new repository name. - All references to "Mini Juvix" have been replaced with "Juvix". Unfortunetly, due to the move, the old links to the Mini Juvix repository are broken and will not be fixed. ## v0.2.1 (2022-07-12) **Implemented enhancements:** - Specialize commands of/for internal use MiniJuvix-#270 ([jonaprieto](https://github.com/jonaprieto)) - Improve handling of location information for different objs MiniJuvix-#263 ([jonaprieto](https://github.com/jonaprieto)) - Add issues and PR templates MiniJuvix-#261 ([jonaprieto](https://github.com/jonaprieto)) - Throw error when reading a file that conflicts with embedded stdlib MiniJuvix-#243 ([paulcadman](https://github.com/paulcadman)) - Embed standard library in the minijuvix binary MiniJuvix-#210 ([paulcadman](https://github.com/paulcadman)) **Fixed bugs:** - Fixed a bug with the path to walloc.c MiniJuvix-#237 ([lukaszcz](https://github.com/lukaszcz)) - Perform ScopedToAbstract exactly once for each module MiniJuvix-#223 ([paulcadman](https://github.com/paulcadman)) **Merged pull requests:** - Label renaming MiniJuvix-#275 ([jonaprieto](https://github.com/jonaprieto)) - Update link to discord MiniJuvix-#264 ([Romainua](https://github.com/Romainua)) - Include `open import` statements when generating HTML MiniJuvix-#260 ([paulcadman](https://github.com/paulcadman)) - Renaming MiniJuvix to Juvix MiniJuvix-#259 ([jonaprieto](https://github.com/jonaprieto)) - Updates tests to use the updated standard library MiniJuvix-#253 ([paulcadman](https://github.com/paulcadman)) - Enforce C99 standard in the generated C files MiniJuvix-#252 ([lukaszcz](https://github.com/lukaszcz)) - Restore mascot images to the minijuvix book MiniJuvix-#250 ([paulcadman](https://github.com/paulcadman)) - Allow jumping to another module in emacs MiniJuvix-#249 ([janmasrovira](https://github.com/janmasrovira)) - Restore Juvix mascot image to README MiniJuvix-#248 ([paulcadman](https://github.com/paulcadman)) - Add emacs option `minijuvix-disable-embedded-stdlib` MiniJuvix-#247 ([paulcadman](https://github.com/paulcadman)) - Deprecate GHC backend MiniJuvix-#244 ([lukaszcz](https://github.com/lukaszcz)) - Removed 'eval' and 'print' keywords (#214) MiniJuvix-#242 ([lukaszcz](https://github.com/lukaszcz)) - Add option to disable minijuvix input method MiniJuvix-#239 ([janmasrovira](https://github.com/janmasrovira)) - Remove the 'match' keyword MiniJuvix-#238 ([lukaszcz](https://github.com/lukaszcz)) - Removed tests/positive/HelloWorld.mjuvix and specified clang version in the documentation MiniJuvix-#236 ([lukaszcz](https://github.com/lukaszcz)) - Filter symbol entries properly in the scoper MiniJuvix-#234 ([janmasrovira](https://github.com/janmasrovira)) - Use the ModulesCache for `open` statements in ScopedToAbstract pass MiniJuvix-#224 ([paulcadman](https://github.com/paulcadman)) - README: Include `--recursive` in git clone command to fetch stdlib MiniJuvix-#211 ([paulcadman](https://github.com/paulcadman)) - Update project description v0.2.0 MiniJuvix-#209 ([jonaprieto](https://github.com/jonaprieto)) - Unify AST representation of types and expressions in MicroJuvix MiniJuvix-#188 ([janmasrovira](https://github.com/janmasrovira)) ## v0.2.0 (2022-06-28) **Implemented enhancements:** - Support built in types MiniJuvix-#192 ([janmasrovira](https://github.com/janmasrovira)) - Support partial application and closure passing in C backend MiniJuvix-#190 ([paulcadman](https://github.com/paulcadman)) - Allow `open import` statements MiniJuvix-#175 ([janmasrovira](https://github.com/janmasrovira)) - Remove TypeAny and adapt typechecking for literals MiniJuvix-#173 ([janmasrovira](https://github.com/janmasrovira)) - Allow holes to be refined into function types MiniJuvix-#165 ([janmasrovira](https://github.com/janmasrovira)) - Support implicit arguments MiniJuvix-#144 ([janmasrovira](https://github.com/janmasrovira)) - Add support for holes in type signatures MiniJuvix-#141 ([janmasrovira](https://github.com/janmasrovira)) - Support function closures with no environment in minic MiniJuvix-#137 ([paulcadman](https://github.com/paulcadman)) - Add holes for expressions in function clauses and inference support MiniJuvix-#136 ([janmasrovira](https://github.com/janmasrovira)) - Add "-Oz" optimization flag to clang args MiniJuvix-#133 ([paulcadman](https://github.com/paulcadman)) - Add version and help option and root command to the CLI MiniJuvix-#131 ([jonaprieto](https://github.com/jonaprieto)) **Fixed bugs:** - Fix: Ignore implicit patterns and arguments in termination checking MiniJuvix-#172 ([janmasrovira](https://github.com/janmasrovira)) - Fix: pretty printing for terminating keyword MiniJuvix-#145 ([jonaprieto](https://github.com/jonaprieto)) **Merged pull requests:** - Fix: proper error handling for typechecker errors MiniJuvix-#189 ([jonaprieto](https://github.com/jonaprieto)) - Add juvix version info and date to HTML output MiniJuvix-#186 ([jonaprieto](https://github.com/jonaprieto)) - Fix: Add check for constructor return types MiniJuvix-#182 ([jonaprieto](https://github.com/jonaprieto)) - Use Abstract name in Abstract syntax and Micro/MonoJuvix MiniJuvix-#181 ([janmasrovira](https://github.com/janmasrovira)) - Add an option to specify the path where to put the HTML output MiniJuvix-#179 ([jonaprieto](https://github.com/jonaprieto)) - Upgrade to ghc-9.2.3 MiniJuvix-#178 ([janmasrovira](https://github.com/janmasrovira)) - Replace dead link in README with a link to the Juvix book MiniJuvix-#177 ([paulcadman](https://github.com/paulcadman)) - Embed HTML assets in the juvix binary MiniJuvix-#176 ([paulcadman](https://github.com/paulcadman)) - Fix: identifiers with a keyword prefix cannot be parsed MiniJuvix-#171 ([janmasrovira](https://github.com/janmasrovira)) - Improve filepath equality MiniJuvix-#170 ([janmasrovira](https://github.com/janmasrovira)) - Update validity predicate milestone example to 0.2 syntax MiniJuvix-#167 ([paulcadman](https://github.com/paulcadman)) - Fix links in documentation and update to new syntax MiniJuvix-#163 ([paulcadman](https://github.com/paulcadman)) - Update stdlib to work with version 0.2 MiniJuvix-#160 ([janmasrovira](https://github.com/janmasrovira)) - Update README usage example to use the compile command MiniJuvix-#158 ([paulcadman](https://github.com/paulcadman)) - Remove dead code related to the pipeline MiniJuvix-#156 ([janmasrovira](https://github.com/janmasrovira)) - Add negative test for AppLeftImplicit MiniJuvix-#154 ([janmasrovira](https://github.com/janmasrovira)) - Add positive test designed for implicit arguments MiniJuvix-#153 ([janmasrovira](https://github.com/janmasrovira)) - Remove ExpressionTyped from MicroJuvix MiniJuvix-#143 ([janmasrovira](https://github.com/janmasrovira)) - Revision for package.yaml and minor deletions MiniJuvix-#135 ([jonaprieto](https://github.com/jonaprieto)) ## v0.1.4 (2022-05-30) **Merged pull requests:** - Generic Errors and refactoring MiniJuvix-#123 ([jonaprieto](https://github.com/jonaprieto)) - Only generates docs if the pull request merges MiniJuvix-#121 ([jonaprieto](https://github.com/jonaprieto)) - Add initial docs generation website MiniJuvix-#119 ([jonaprieto](https://github.com/jonaprieto)) - Fix internal link in README MiniJuvix-#116 ([paulcadman](https://github.com/paulcadman)) - Add minic-runtime for linking without libc MiniJuvix-#113 ([paulcadman](https://github.com/paulcadman)) - Add termination checking to the pipeline MiniJuvix-#111 ([jonaprieto](https://github.com/jonaprieto)) - Support uncurried higher order functions MiniJuvix-#110 ([paulcadman](https://github.com/paulcadman)) - Improve error generation and handling MiniJuvix-#108 ([janmasrovira](https://github.com/janmasrovira)) - Add MiniC tests with clang+wasi-sdk MiniJuvix-#105 ([paulcadman](https://github.com/paulcadman)) - Add usage example and move developer docs MiniJuvix-#96 ([paulcadman](https://github.com/paulcadman)) - Refactor warning related stuff MiniJuvix-#91 ([janmasrovira](https://github.com/janmasrovira)) - Remove Agda backend MiniJuvix-#86 ([paulcadman](https://github.com/paulcadman)) **Implemented enhancements:** - Add `compile` subcommand to generate binaries MiniJuvix-#128 - Add intervals to flycheck errors MiniJuvix-#124 - Improve error handling in juvix-mode MiniJuvix-#107 - Support multiple modules in compilation MiniJuvix-#93 - Add compile command to CLI MiniJuvix-#130 ([paulcadman](https://github.com/paulcadman)) - Use Interval in GenericErrors MiniJuvix-#125 ([janmasrovira](https://github.com/janmasrovira)) - Remove dev in the CI and other tweaks MiniJuvix-#118 ([jonaprieto](https://github.com/jonaprieto)) - Highlight comments correctly MiniJuvix-#106 ([janmasrovira](https://github.com/janmasrovira)) - Support multiple modules in compilation MiniJuvix-#100 ([janmasrovira](https://github.com/janmasrovira)) - New target syntax and modular VP examples MiniJuvix-#92 ([jonaprieto](https://github.com/jonaprieto)) **Fixed bugs:** - Missing error messages when using throw/error MiniJuvix-#117 - Fix highlight of comments MiniJuvix-#104 - Fix juvix-mode coloring for projects with multiple modules MiniJuvix-#101 - Fix `highlight` command for modules with import statements MiniJuvix-#102 ([janmasrovira](https://github.com/janmasrovira)) **Closed issues:** - Deprecate the class JuvixError MiniJuvix-#115 - Add ToGenericError instance for the infix parsing errors MiniJuvix-#114 - Compile to WASM without linking libc MiniJuvix-#112 - Add the termination checker to the pipeline MiniJuvix-#109 - Use clang + wasi-sdk instead of emcc to compile to WASM MiniJuvix-#103 - Move developer tooling docs out of README MiniJuvix-#95 - Add pre-commit checks to CI checks MiniJuvix-#94 - Support higher order functions in C backend MiniJuvix-#90 - Remove dev from the list of branches in the CI MiniJuvix-#89 - Refactor warning related stuff MiniJuvix-#87 - The Juvix website MiniJuvix-#51 ## v0.1.3 (2022-05-05) **Closed issues:** - Monomorphisation naming inconsistency MiniJuvix-#84 - Remove BackendAgda MiniJuvix-#83 - Change terminating keyword behavior MiniJuvix-#81 - MonoJuvix `ExpressionTyped` is never used MiniJuvix-#79 - Bump stackage nightly and delete `allow-newer: true` from `stack.yaml` MiniJuvix-#75 - Generate automatically CHANGELOG and Github Release Notes MiniJuvix-#73 - Make flag –show-name-ids global MiniJuvix-#61 - Add C code generation backend MiniJuvix-#60 - Add polymorphism MiniJuvix-#59 - Add the compile keyword to the frontend syntax (support up to Scoping) MiniJuvix-#58 - Error with undefined or underscores MiniJuvix-#54 - Add support for other GHC and Stack stable version MiniJuvix-#52 - Autodetect output ANSI support when prettyprinting MiniJuvix-#38 - Terminating for type signatures MiniJuvix-#11 **Merged pull requests:** - Remove agda backend MiniJuvix-#86 ([paulcadman](https://github.com/paulcadman)) - 84 monomorphisation naming inconsistency MiniJuvix-#85 ([janmasrovira](https://github.com/janmasrovira)) - Change terminating keyword behavior MiniJuvix-#82 ([jonaprieto](https://github.com/jonaprieto)) - Remove unused constructor ExpressionTyped in Monojuvix MiniJuvix-#80 ([janmasrovira](https://github.com/janmasrovira)) - Stricter stack builds and pedantic mode for CI MiniJuvix-#78 ([jonaprieto](https://github.com/jonaprieto)) - Bump stackage version and remove allow-newer MiniJuvix-#76 ([janmasrovira](https://github.com/janmasrovira)) - Add automatically updates/issues/merged PRs to the changelog MiniJuvix-#74 ([jonaprieto](https://github.com/jonaprieto)) - Add terminating keyword MiniJuvix-#71 ([jonaprieto](https://github.com/jonaprieto)) - Monomorphization MiniJuvix-#70 ([janmasrovira](https://github.com/janmasrovira)) - Remove StatementCompile in AST after scoping MiniJuvix-#69 ([paulcadman](https://github.com/paulcadman)) - Add C code generation backend MiniJuvix-#68 ([paulcadman](https://github.com/paulcadman)) - Check if stderr supports ANSI and print accordingly MiniJuvix-#67 ([janmasrovira](https://github.com/janmasrovira)) - Add support for compile (by Jonathan) MiniJuvix-#66 ([paulcadman](https://github.com/paulcadman)) - Add NameIdGen effect to the pipeline MiniJuvix-#64 ([janmasrovira](https://github.com/janmasrovira)) - Make the `--show-name-ids` flag global MiniJuvix-#63 ([janmasrovira](https://github.com/janmasrovira)) - Implement type checker with polymorphism MiniJuvix-#62 ([janmasrovira](https://github.com/janmasrovira)) ## v0.1.2 (2022-04-11) **Closed issues:** - Add en emacs mode with support for scoped highlighting MiniJuvix-#25 - Add support for project root detection through a juvix.yaml file MiniJuvix-#24 - Add CLI cmd to generate juvix autocompletion files for fish and zsh MiniJuvix-#23 - Add pretty and typecheck subcommands to the microjuvix CLI MiniJuvix-#21 - Translate identifiers from MicroJuvix to MiniHaskell (valid Haskell) MiniJuvix-#19 - Implement the MiniHaskell to Haskell translation (prettyprinter) MiniJuvix-#18 - Implementation of a typechecker for MicroJuvix MiniJuvix-#16 - Add references to the Abstract AST to update compilation to MiniHaskell MiniJuvix-#12 - Order in the house MiniJuvix-#10 **Merged pull requests:** - The Juvix project now follows the same goals as the original Juvix project. MiniJuvix-#7 ([jonaprieto](https://github.com/jonaprieto)) - Dev→main MiniJuvix-#6 ([jonaprieto](https://github.com/jonaprieto)) - Big update including termination checking MiniJuvix-#5 ([janmasrovira](https://github.com/janmasrovira)) - Parser and scoper MiniJuvix-#3 ([jonaprieto](https://github.com/jonaprieto)) - Upgrade to ghc9 and use hpack MiniJuvix-#2 ([janmasrovira](https://github.com/janmasrovira)) - Merge MiniJuvix-#1 ([jonaprieto](https://github.com/jonaprieto)) ## v0.1.1 (2022-03-25) - Add support in the parser/scoper for Axiom backends - Add support for `foreign` keyword - Add flag `--no-colors` for the scope command - Upgrade to GHC 9.2.2 - Improve resolution of local symbols in the scoper - Several new tests related to ambiguous symbols - Add `--version` flag - Add InfoTableBuilder effect for the scoper **Closed issues:** - Add diff output to the test suite MiniJuvix-#9 - Improve scoper ambiguity error messages MiniJuvix-#8