sharkdp/numbat v1.19.0

on GitHub

What's Changed

• Add function parameters and local bindings to relevant typed hole matches by @sharkdp in #788
• Add documentation for typed holes by @sharkdp in #789
• Add tidal chart example by @sharkdp in #791
• Add inspect function by @sharkdp in #793
• Show types in inspect calls by @sharkdp in #794
• Update jiff to 0.2.18 by @sharkdp in #805
• Fix 'reset' command in the CLI version by @sharkdp in #806

Full Changelog: v1.18.0...v1.19.0