[ANN] Logic WorkBench lwb Rev 2.0.0

A new version of the logic workbench with a component for combinatory logic, together with a ton of examples. See https://github.com/esb-lwb/lwb/wiki. Burt -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email

Re: macroexpand in uberjar

operly namespace qualified so > that it expands when called from outside the namespace. > > On Thu, Feb 15, 2018, 03:12 Nicola Mometto > wrote: > >> Use ` instead of ' >> >> >> On 15 Feb 2018, at 08:45, 'Burt' via Clojure > > wrote: >&g

macroexpand in uberjar

mx P) (clojure.core/let [and__5236__auto__ P] (if and__5236__auto__ (clojure.core/and Q) and__5236__auto__)) In the second case the macro mx is not expanded and I have no idea why this is the case. Kind regards, Burt -- You received this message because you are subscribed to the Google Gro

[ANN] Logic Workbench lwb Rev1.0.1

The Logic Workbench lwb is a box of tools for the propositional logic, predicate logic, and linear temporal logic. It's a playground. More about lwb: Intro . Comments welcome -- Burkhardt Renz THM (Technische Hochschule Mittelhessen) -- You received this

Re: Java object in eval

f. Burt Am Donnerstag, 30. März 2017 10:09:20 UTC+2 schrieb dennis: > > You should quote the binding vector: > > (let [v '[D (LocalDate/of 2017 03 30)] > f '(.getYear D)] > (eval `(let ~v ~f))) > > > > 2017-03-30 16:04 GMT+08:00 'Burt'

Java object in eval

xample to other Java classes, for example LocalDate I get an error, see the second example. Can anybody help? Kind regards, Burt -- 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 Note

core.logic with 1.9.0-alpha12

re.core.specs/args+body :clojure.core.specs/args+body], :in [0]}), :args (clojure.core.logic/-inc [] (bind (this) g))}, compiling:(clojure/core/logic.clj:1130:5) Is there already a fix for this? Kind regards, Burt -- You received this message because you are subscribed to the Google Groups &

Re: How to restrict the number of test with stest/check

Thanks! -- 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 Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email

How to restrict the number of test with stest/check

Hi, (stest/check `myfunc) runs very, very long so i tried (stest/check `myfunc {:num-tests 2}) but unfortunately that does not restrict the number of test. Can anybody help? Kind regards, Burt -- You received this message because you are subscribed to the Google Groups "Clojure"

Re: Question concerning eval

Hi Adrian, Gianluca, I understand that quoting the entire binding vector avec solves my problem. @Adrian Thanks for the hint. But nethertheless, it's a riddle for me why there's a difference between my original approaches. cheers, Burt -- You received this message becau

Question concerning eval

Hi, I got an exception using eval and I do not understand why! Can anybody explain what happens? Here is a small piece of code showing the problem: (defn eval-phi [avec phi] (eval `(let ~avec ~phi))) ; The idea of eval-phi is the evaluation of ; arbitrary lists where the symbols are ; define

Re: contains? and transient set

Hi Stefan, I did not search in Jira, I don't know whether this is a known bug. I use the Lars' work-around in the context I need contains? with a transient set. Regards, Burt Am Mittwoch, 4. Dezember 2013 14:29:35 UTC+1 schrieb Stefan Kamphausen: > > It looks like you'r

Re: contains? and transient set

Thanks, Burt > > -- -- 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 Note that posts from new members are moderated - please be patient with your first post. To unsub

contains? and transient set

Does contains? and get not work with transient sets? Examples: (contains? #{1 2 3} 1) ; => true (contains? (transient #{1 2 3}) 1) ; => IllegalArgumentException contains? not supported on type: clojure.lang.PersistentHashSet$TransientHashSet (get #{1 2 3} 1) ; => 1 (get (transient #{1 2 3}) 1) ;

Re: Implementation of the special form if

Hi Ambrose, yes. Thanks. Burt Am Donnerstag, 18. Juli 2013 10:55:38 UTC+2 schrieb Ambrose Bonnaire-Sergeant: > > Clojure uses Boolean.FALSE and null are the only two false values by > design. c.c/boolean can be useful for > converting Boolean instances that are false in Jav

Re: Implementation of the special form if

, we get (boolean falsefalse) ==> false Reason: RT.java#L981 checks on the objects booleanValue Is this consistent? Greetings, Burt Am Donnerstag, 18. Juli 2013 10:36:40 UTC+2 schrieb Ambrose Bonnaire-Sergeant: > > Hi Burt, > > See the "eval" and "emit&q

Implementation of the special form if

In which source file is the special form if implemented? -- -- 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 Note that posts from new members are moderated - please be patient with your fi