v0.2.5

What's Changed

• Stricter type-check
• Set timeout for REPL
• Apply trivial clippy fixes by @passcod in #22
• Fix --verbose option typo by @toddlerer in #33
• Add Nix support for reproducible build and develop by @SnO2WMaN in #32

New Contributors

• @passcod made their first contribution in #22
• @toddlerer made their first contribution in #33
• @SnO2WMaN made their first contribution in #32

Full Changelog: v0.2.4...v0.2.5