A little calculator which combines RPN (reverse polish notation) style calculators with a LambdaPi dependent-type system.