Skip to content

Instantly share code, notes, and snippets.

@joeytwiddle

joeytwiddle/gist:87b0829526c16adba72ec4ad38bf48ae

Created November 8, 2017 01:00
Show Gist options
  • Save joeytwiddle/87b0829526c16adba72ec4ad38bf48ae to your computer and use it in GitHub Desktop.
Save joeytwiddle/87b0829526c16adba72ec4ad38bf48ae to your computer and use it in GitHub Desktop.
Download ZIP
Output of maths.hs
Raw
gistfile1.txt
Main> go
Rules:
A + B = C -> B = C - A
square(A) = B -> A = sqrt(B)
A + B = C -> A = C - B
A = B -> B = A
Current expression: square(x) + square(y) = square(z)
Want expression of form: x = F
... processing ...
Result: x = sqrt(square(z) - square(y))
(58875 reductions, 88841 cells)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment