phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Bytes

Documentation

data NonFinite Source #

Constructors

NfNan 
NfPinf 
NfNinf 

Instances

Instances details
Show NonFinite Source # 
Instance details

Defined in Bytes

Eq NonFinite Source # 
Instance details

Defined in Bytes