unique-logic-tf-0.5: Solve simple simultaneous equations

Safe HaskellSafe
LanguageHaskell98

UniqueLogic.ST.TF.Example.Rule

Description

Warning: This module is intended for documentation purposes. Do not import it!

Synopsis

Documentation

example :: (Maybe Double, Maybe Double, Maybe Double, Maybe Double) Source #

x=1
y=2
z=3
w=3
x+y=3
y*z=6
z=3
y^w=8