Implementation of Wyjec applet, i.e. Java applet that lets you edit and evaluate Wyjec expressions using standard Wyjec functions.