eta-cli 0.1.0

CLI for the Eta calculus