{"shas":[["9f8d9dfb79d490c5a59c070e38b6244ff900a9d5","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/arithmetic.clj: note that we never make it to the 6th clause of adder-o","David Nolen"],["e28a9544409ff6939849dd08ce5189472bbd08f9","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/arithmetic.clj: a little bit clearer.","David Nolen"],["339531bb358007e7c6a9a2555dc29fc3d4e954f6","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/minikanren.clj: fix for mplus, needed to return a lazy-seq","David Nolen"],["360d605de7bdd82a63f6337200cbf6d5eb4169d8","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/arithmetic.clj: oops move some things around","David Nolen"],["aa2dea69a74bb11726baf01405cbed719b40b1e9","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/arithmetic.clj: clarify cases","David Nolen"],["27d109658b6c2586c69d577320aff77b2a8fdd6f","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/arithmetic.clj: brainstorming how to simulate what is going on with adder-o","David Nolen"],["bad18bb22fc3320960608fb7020f582f46aba065","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/arithmetic.clj: compare to interleave. Brining in the cond-i examples for comparison.","David Nolen"],["5dee8602fa276ee23647a93488fb6207d33fcf77","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/minikanren.clj: make log more useful","David Nolen"],["830dfeb006a14ee973da14deb7733f3bf313cc34","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/minikanren.clj: move log","David Nolen"],["ddc1077873f24c73feff427253450bf208c0d432","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/minikanren.clj: make log and log-a a bit more usable","David Nolen"],["3388ab46a813bf2e0e09eba28c0e2833eeb8fe24","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/minikanren.clj: note about the laziness in mplus-s <stream> <stream>","David Nolen"],["71cd3fdd6075203f6fdb84745a920702a8798172","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/minikanren.clj: removed any-o, note about seq forcing the first element, causes goals to run","David Nolen"],["3f0f37327e613c95e249ff875b2e70321f91e747","229f9ffc72c317feebf3a3f0b8d063b27d44a01e@gmail.com","* src/logos/arithmetic.clj: a bunch of crazy debugging","David Nolen"]],"repo":"swannodette/logos","actor":"swannodette","ref":"refs/heads/arithmetic","size":13,"head":"3f0f37327e613c95e249ff875b2e70321f91e747","actor_gravatar":"eac0aafb77a926e0ef53779ce873a472","push_id":26000306}