332 B
332 B
An equational calculator in haskell
It equates functions using laws. A law might be something like:
map after concat: map f . concat = concat . map (map f)
Limtations
This deos not generate tree of complitions(yet), but rather list. So it's sometimes wrong where there are 2 possible simplification routes available.