# Change Log

# 0.0.3

+ Add the substitution type
+ Implement the substitution operation
+ Document the design of this language (#2)
+ Initial type-checking code, including:
  + Application inference
  + Core language's definition improvements

# 0.0.2

+ Add core language definition from Voile,
  with row-polymorphic terms and sigma type removed (#1)
+ Initial CLI support

# 0.0.1

+ Create package on crates.io
