phino-0.0.0.41: Command-Line Manipulator of 𝜑-Calculus Expressions
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Functions
Documentation
buildTerm
::
BuildTermFunc
Source
#