unique-logic-0.3: Solve simple simultaneous equations

Safe HaskellSafe
LanguageHaskell98

UniqueLogic.ST.Example.Rule

Description

Deprecated: 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