{"shas":[["7e70903e5955de64883bb9cfe31d8d90f399f08c","a17fed27eaa842282862ff7c1b9c8395a26ac320@izbicki.me","Works, but not clean and not extensible","Mike Izbicki"],["9c862741abb9085bcd5066e007f519a2d146436d","a17fed27eaa842282862ff7c1b9c8395a26ac320@izbicki.me","added parse pragma","Mike Izbicki"],["06ef10adb9237ffc26bcb9e1ebebb94258f250a4","a17fed27eaa842282862ff7c1b9c8395a26ac320@izbicki.me","Doesn't compile yet due to monad problem","Mike Izbicki"],["a35df440d5582ab8406acc7992d7a96cdf8c1ca9","a17fed27eaa842282862ff7c1b9c8395a26ac320@izbicki.me","Finally an arch that works, although better existential support in GHC would help.'","Mike Izbicki"],["9a4f8321675255840c2e70dda88d0eebe09b9107","a17fed27eaa842282862ff7c1b9c8395a26ac320@izbicki.me","cleaned a little","Mike Izbicki"],["a4243601f9cf102d5f5a64feec5b6e14517a921a","a17fed27eaa842282862ff7c1b9c8395a26ac320@izbicki.me","removed old files","Mike Izbicki"],["0eb3dd7d60955e5f6abccf76299bf80529c71a75","a17fed27eaa842282862ff7c1b9c8395a26ac320@izbicki.me","Added <- notation for non-default rule truths","Mike Izbicki"],["33d96f75da0b09dd8761014fa7eb13c350648944","a17fed27eaa842282862ff7c1b9c8395a26ac320@izbicki.me","Added LogicTracer, needs major cleaning","Mike Izbicki"],["f599a4801d2a6c228deffba74a16b77667f8bcf7","a17fed27eaa842282862ff7c1b9c8395a26ac320@izbicki.me","cleaned logic","Mike Izbicki"]],"ref":"refs/heads/working","size":9,"head":"f599a4801d2a6c228deffba74a16b77667f8bcf7","push_id":43845590}