@hackage / phino

Command-Line Manipulator of 𝜑-Calculus Expressions