On Tue, Jan 8, 2013 at 5:05 PM, Matthew Flatt wrote:
> The `#' character is not an escape character in Scribble. It's treated
> as literal text, just like the letter "a" or a comma.
>
Oh I see.
> Does simply adding the escape character `@' in front of `#reader' do
> what you want?
Yes that i
At Tue, 8 Jan 2013 16:02:28 -0600, Grant Rettke wrote:
> Hi,
>
> I have a first goal of loading a file into an @interaction block in
> side of Scribble.
>
> The language to evaluate those values is another story, I just want to
> get the contents of a file in there. Here is what I have done:
>
>
Hi,
I have a first goal of loading a file into an @interaction block in
side of Scribble.
The language to evaluate those values is another story, I just want to
get the contents of a file in there. Here is what I have done:
; the file to load
; cat 04-02.clp
(watch all)
(reset)
(defrule do-anyth
3 matches
Mail list logo