0.11.5

What's Changed

• update the core library (0-45) by @vekatze in #127
• allow literal integers in match by @vekatze in #128

Full Changelog: 0.11.4...0.11.5

0.11.4

What's Changed

• don't forget to alpha-convert function args by @vekatze in #126

Full Changelog: 0.11.3...0.11.4

0.11.3

What's Changed

• neut-mode is now on melpa by @vekatze in #122
• fix: don't forget to linearize variables in local recursions by @vekatze in #123
• update the core library by @vekatze in #124
• add magic alloca by @vekatze in #125

Full Changelog: 0.11.2...0.11.3

0.11.2

What's Changed

• allow multiple imports by @vekatze in #121

Full Changelog: 0.11.1...0.11.2

0.11.1

What's Changed

• fix pp for bar-sequences by @vekatze in #119
• update package-lock.json by @vekatze in #120

Full Changelog: 0.11.0...0.11.1

0.11.0

What's Changed

• add notes on vim and neovim by @vekatze in #112
• LSP-related minor refinements by @vekatze in #113
• use readable definite descriptions when possible by @vekatze in #114
• fix: don't save loc info of presets by @vekatze in #115
• make targets optional by @vekatze in #116
• allow cod-type annotations like function (): cod {..} by @vekatze in #117
• use commas in ens files by @vekatze in #118

Full Changelog: 0.10.1...0.11.0

0.10.1

What's Changed

• fix: uris in diagnostics must contain schemes by @vekatze in #111

Full Changelog: 0.10.0...0.10.1

0.10.0

What's Changed

• adjust the fonts of the book for windows by @vekatze in #106
• update docs (again) by @vekatze in #107
• cleanup by @vekatze in #108
• syntactic adjustments by @vekatze in #109
• update docs by @vekatze in #110

Full Changelog: 0.9.0...0.10.0

0.9.0

What's Changed

• Inline data types with 0 or 1 constructors by @vekatze in #35
• Remove the wrong UnusedVariable.delete by @vekatze in #36
• LSP-related fixes by @vekatze in #37
• Fix the handling of nullary constructors in lets by @vekatze in #38
• Fix location info of assert by @vekatze in #39
• Allow constructor names like _Foo or __Bar by @vekatze in #40
• Make inlining finer by @vekatze in #41
• Resource types for enums are unnecessary by @vekatze in #42
• Add a statement constant (and remove type) by @vekatze in #43
• Disable snippet-based completion by @vekatze in #44
• Update of-notation by @vekatze in #45
• Fix: don't reuse the app env when running the LSP server by @vekatze in #46
• Faster compilation when using cache by @vekatze in #47
• LSP-related improvements/fixes by @vekatze in #48
• Further fixes of the LSP server by @vekatze in #49
• Cleanup: remove natGlobalLocator by @vekatze in #50
• LSP: textDocument/didClose by @vekatze in #51
• Require definitions to be sequentially ordered by @vekatze in #52
• add idealize x1, ..., xn { ... } by @vekatze in #53
• Fix highlights in textDocument/documentHighlight by @vekatze in #54
• Fix: allow using the LSP server in library modules too by @vekatze in #55
• Report unused imports by @vekatze in #56
• Update the core library (use the system type when calling syscalls) by @vekatze in #57
• Reorganize import-related stuff by @vekatze in #58
• Cleanup by @vekatze in #59
• - this.foo [bar, buz] => - this.foo {bar, buz} by @vekatze in #60
• Remove paddings from module digests by @vekatze in #61
• Generalize the syntax of pi-intro by @vekatze in #62
• Replace mutual with declare by @vekatze in #63
• Support textDocument/references by @vekatze in #64
• Find references in parallel by @vekatze in #65
• Fix: don't jump from main to unit by @vekatze in #66
• Refactor: stop using queue in Scene.Elaborate.Unify by @vekatze in #67
• Incremental unification by @vekatze in #68
• First-class implicit arguments by @vekatze in #69
• use MODULE {x1, .., xn} in CONT by @vekatze in #70
• Support textDocument/formatting by @vekatze in #71
• utilize syntactic equality for better type inference by @vekatze in #72
• cleanup by @vekatze in #73
• don't discard suspended constraints by @vekatze in #74
• Support textDocument/willSaveWaitUntil (and thus format-on-save) by @vekatze in #75
• Faster compilation by @vekatze in #76
• Reorganize import-items automatically by @vekatze in #77
• Support textDocument/hover by @vekatze in #78
• Turn foreign into an ordinary statement by @vekatze in #79
• Fix the (preliminary) completion function by @vekatze in #80
• Some fixes around the dependency manager by @vekatze in #81
• Detect invalid antecedent graphs by @vekatze in #82
• Better completion by @vekatze in #83
• Allow commands like just test-arm64-linux-single misc/adder by @vekatze in #84
• Fix multi-target compilation by @vekatze in #85
• Add neut zen by @vekatze in #86
• Faster completion by splitting cache files by @vekatze in #87
• report missing zen by @vekatze in #88
• ISC => MIT by @vekatze in #89
• module-based check and add by @vekatze in #90
• reorganize pi-related stuff by @vekatze in #91
• fix neut add and rename it to neut get by @vekatze in #92
• detect possible infinite loops during unification by @vekatze in #94
• Minor fixes by @vekatze in #95
• Remove unused imports automatically by @vekatze in #96
• print logs from the lsp server by @vekatze in #97
• avoid creating closures when possible by @vekatze in #98
• make archives read-only by @vekatze in #99
• add a notation: foo::bar => use foo {bar} in bar by @vekatze in #100
• remove --emit asm by @vekatze in #101
• syntactic adjustments by @vekatze in #102
• cleanup by @vekatze in #103
• clarify the status of the document by @vekatze in #104
• update docs by @vekatze in #105

Full Changelog: 0.8.0...0.9.0

0.8.0

What's Changed

• Reorganize statements by @vekatze in #34

Full Changelog: 0.7.0...0.8.0