What's Changed

• Safer array primitives by @phischu in https://github.com/effekt-lang/effekt/pull/1220
• Unbox arguments in extern async calls but not in jumps by @phischu in https://github.com/effekt-lang/effekt/pull/1259
• Assert modules are closed and check constraints on Make by @b-studios in https://github.com/effekt-lang/effekt/pull/1260
• Fix printing of literals with escape sequences in core by @timsueberkrueb in https://github.com/effekt-lang/effekt/pull/1258
• Allow (multi-)pattern matching in 'with val' by @jiribenes in https://github.com/effekt-lang/effekt/pull/1230
• Add trampolining rewrite by @b-studios in https://github.com/effekt-lang/effekt/pull/1263
• Make pretty-printed core more readable by @timsueberkrueb in https://github.com/effekt-lang/effekt/pull/1237
• Soften 'functions are second-class' statement in language tour by @dvdvgt in https://github.com/effekt-lang/effekt/pull/1159
• Rename exhaustively to loop by @phischu in https://github.com/effekt-lang/effekt/pull/1246
• Remove stack size increase by @jiribenes in https://github.com/effekt-lang/effekt/pull/1266
• Remember mapping in the other direction to address #1203 by @b-studios in https://github.com/effekt-lang/effekt/pull/1262
• Workaround poor reparse test performance and #1240 by @timsueberkrueb in https://github.com/effekt-lang/effekt/pull/1268
• Change default branch to main by @timsueberkrueb in https://github.com/effekt-lang/effekt/pull/1261
• Experiment: hide core type checking behind debug flag by @b-studios in https://github.com/effekt-lang/effekt/pull/1277
• Fix #603 by @timsueberkrueb in https://github.com/effekt-lang/effekt/pull/1267

Full Changelog: https://github.com/effekt-lang/effekt/compare/v0.56.0...v0.57.0