aboutsummaryrefslogtreecommitdiff
path: root/Logic.dcl
AgeCommit message (Expand)AuthorFilesLines
2015-07-03Nicer truthtablesCamil Staps1-1/+11
2015-07-03Truth tablesCamil Staps1-0/+14
2015-07-03Fix associativityCamil Staps1-0/+2
2015-07-03Types, toStringCamil Staps1-0/+38