ADPfusion-0.5.1.0: Efficient, high-level dynamic programming.
ADP.Fusion.Term.Deletion
module ADP.Fusion.Term.Deletion.Type
module ADP.Fusion.Term.Deletion.Point
module ADP.Fusion.Term.Deletion.Subword
module ADP.Fusion.Term.Deletion.Unit