On Sunday 05 October 2008 14:44, Rich Hickey wrote: > ... > > Looking for feedback, ideas, and participants.
As a hard-core theorem-prover guy, I'm big on full first-order logic with identity. Writing an executive for our prover is what drew me to Clojure in the first place. I've yet to embark on this, partly for want of time and partly because of dithering about which language and tools to use (Java, Scala, SISC, Clojure, Tom, etc.) Let me know if you're interested in a good Java-based theorem prover... > Rich Randall Schulz --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/clojure?hl=en -~----------~----~----~----~------~----~------~--~---
