on 75426f7 help sign in
patch/src
2 folders, 1 file
../ Data/Factor out the use of the experimental dependent-sum classes Reflex/Add instance Requester t (QueryT t q m) Reflex.hsAdd Query