v0.1.0

What's Changed

• Supported -tycheck:update-ignore by @jhnaldo in #115
• More parsing rules for metalanguage for environment record bindings by @jhnaldo in #116

Full Changelog: v0.1.0-rc9...v0.1.0

Contributors

The following list is automatically generated by git shortlog -sn --no-merges v0.1.0-rc9..v0.1.0:

     4	Jihyeok Park (jhnaldo)