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.