ADPfusion-0.4.1.0: Efficient, high-level dynamic programming.
ADP.Fusion.SynVar.Recursive
module ADP.Fusion.SynVar.Recursive.Type
module ADP.Fusion.SynVar.Recursive.Point
module ADP.Fusion.SynVar.Recursive.Subword