OnlineTA - Version 3.1

Contains all use cases implemented.

Read the README.txt on how to use this program.

OnlineTA - Version 2.1

Version 2.1 of type inference includes 2 levels, each with different pseudo-random generated tasks for the player to solve. This version also includes feedback to one's answer as what the right result is.