log src/effectize.sig

age author description
2009-04-16 Adam Chlipala Effectness analysis