Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 0.70

Date User Activity Issue Comment Hours
24 Nov 2015 John Abbott Design Feature #812: PPMonoid pseudo-ctor without explicit ordering More notes 0.25
23 Nov 2015 John Abbott Design Feature #812: PPMonoid pseudo-ctor without explicit ordering A suggestion 0.20
23 Nov 2015 John Abbott Design Feature #812: PPMonoid pseudo-ctor without explicit ordering Some notes 0.25
    (1-3/3)

    Also available in: Atom CSV