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.