phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
Abridge
Documentation
abridged
::
Bool
->
Int
->
EXPRESSION
->
EXPRESSION
Source
#