A disintegrator that works for a large class of base measures.
-
UserInterface.hs defines tools that use disintegration
-
Please look at Evaluation.hs for illustrative examples that use these tools
-
The main disintegration algorithm is in Disintegrate.hs
-
The input languages of Terms, Bases, and Invertibles are defined in Syntax.hs
-
Helpers.hs contains useful combinators for composing programs in these languages