on 904a9ae help sign in
3 folders, 2 files
../ Internal/Regain `field s b -> t` functional dependency Product/Regain `field s b -> t` functional dependency Sum/Regain `field s b -> t` functional dependency Product.hsRegain `field s b -> t` functional dependency Sum.hsRegain `field s b -> t` functional dependency