v0.2.3

What's Changed

• fix: many type inference bugs
• fix: use where instead of 'which' in windows by @GreasySlug in #10
• Added an example of omitting the integer portion in the Ratio document. by @soukouki in #9
• Replaced JP documents in regular form with honorifics by @soukouki in #12
• Cache dependencies in GitHub Actions by @TaKO8Ki in #14
• Fix broken links by @TaKO8Ki in #15
• Fix sorted Python example by @pingiun in #18
• Revised the style of jp documents from regular to honorific. by @soukouki in #27
• Update README.md by @SkiingIsFun123 in #24
• Update TODO.md by @SkiingIsFun123 in #25

New Contributors

• @GreasySlug made their first contribution in #10
• @soukouki made their first contribution in #9
• @TaKO8Ki made their first contribution in #14
• @pingiun made their first contribution in #18
• @SkiingIsFun123 made their first contribution in #24

Full Changelog: v0.2.2...v0.2.3

v0.2.2

In this release, type inference for general polymorphic types can now take variance into account.
For example, since the Seq(T) type is covariant with respect to T, Range(T), which implements Seq(T) as a trait, for example, is recognized as a subtype of it.

v0.2.0

With this release, some of the APIs of the math and random modules of Python are now available.

In addition, several type inference bugs have been fixed.

v0.1.2

This release fixes a bug that occurs on UNIX-family OS.

v0.1.1

This release allows the REPL to save the execution state.