sigmastate
Sigma pretty printing.
Type inference and analysis for Sigma expressions.
Lambda calculus pretty printing.