{"shas":[["40c3eefbd2f62f103f36dc518a73f896da5509e0","c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","adding Complement class","Masahiro Sakai"],["71f5ba4e8d8bcc254ee32e76077b2b63c4688464","c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","parameterizing DNF datatype and moving it into Formula.hs","Masahiro Sakai"]],"ref":"refs/heads/master","size":2,"head":"71f5ba4e8d8bcc254ee32e76077b2b63c4688464","push_id":35457082}