Collection of small projects making use of type inference.

For (personal) education, The code should be straight forward enough to read.

• tc1

  Little interactive LC implementation that displays the type of a given expression.