A command line program for normalizing and type-evaluating agda expressions.