[ANN] Logic WorkBench lwb Rev 2.0.0

2019-05-19 Thread 'Burt' via Clojure
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 to

Re: macroexpand in uberjar

2018-02-15 Thread 'Burt' via Clojure
ce qualified so > that it expands when called from outside the namespace. > > On Thu, Feb 15, 2018, 03:12 Nicola Mometto <brob...@gmail.com > > wrote: > >> Use ` instead of ' >> >> >> On 15 Feb 2018, at 08:45, 'Burt' via Clojure <clo...@googlegroups.com &

macroexpand in uberjar

2018-02-15 Thread 'Burt' via Clojure
Here is something strange, and I don't see why! Can anybody help? This is the code in m.clj (ns m (:gen-class)) (defmacro mx [x] (list 'y)) (defn -main [] (println (macroexpand-1 '(mx P))) (println (macroexpand-1 '(and P Q 1 When i load the namespace into a REPL and invoke

[ANN] Logic Workbench lwb Rev1.0.1

2018-01-31 Thread 'Burt' via Clojure
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

2017-03-30 Thread 'Burt' via Clojure
in 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' via Clojure <clo.

Java object in eval

2017-03-30 Thread 'Burt' via Clojure
Hi, I want to pass Java objects to a piece of code via let and then get it evaluated with eval. An minimal example: (ns eval (:import (java.time LocalDate))) (let [v ['S (String. "ab")] f '(.length S)] (eval `(let ~v ~f))) ; => 2 (let [v ['D (LocalDate/of 2017 03 30)] f

core.logic with 1.9.0-alpha12

2016-09-13 Thread 'Burt' via Clojure
Hi, with "1.9.0-alpha10" and core.logic "0.8.10": (ns lwb.nd.rules (:refer-clojure :exclude [==]) (:require [clojure.core.logic :refer :all])) => nil with "1.9.0-alpha12" and core.logic "0.8.10": (ns lwb.nd.rules (:refer-clojure :exclude [==]) (:require [clojure.core.logic :refer

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

2016-08-03 Thread 'Burt' via Clojure
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

2016-08-03 Thread 'Burt' via Clojure
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" group. To