phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Source
Contents
Index
Safe Haskell
Safe-Inferred
Language
Haskell2010
Tau
Documentation
seedTaus
::
Expression
->
IO
()
Source
#
freshTau
::
IO
Text
Source
#