Project

General

Profile

Spent time

Filters

Apply Clear

Hours: 1.00

Date User Activity Issue Comment Hours
05 Mar 2013 John Abbott Design Feature #320: PPMonoid pseudo-ctors without symbol names Not worth it 0.25
26 Feb 2013 John Abbott Design Feature #320: PPMonoid pseudo-ctors without symbol names Perhaps not such a clever idea? 0.50
21 Feb 2013 John Abbott Design Feature #320: PPMonoid pseudo-ctors without symbol names Semantics 0.25
    (1-3/3)

    Also available in: Atom CSV