[racket-users] [Redex] test-->>E and trace

Hello, colleagues! Is there any way to get a term trace from successful test-->>E in Redex? BR, Anton Podkopaev, PhD student, SPbSU -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from

Re: [racket-users] Try Racket is ABORTING.

Kicked the server. Seems to work now. On Fri, Dec 18, 2015 at 3:57 PM, Taro Annual wrote: > over > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from

[racket-users] Try Racket is ABORTING.

over -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Try Racket is ABORTING.

2015年12月18日金曜日 23時26分40秒 UTC+9 John Berry: > Kicked the server. Seems to work now. > > > > On Fri, Dec 18, 2015 at 3:57 PM, Taro Annual wrote: > over > > > > -- > > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > >

Re: [racket-users] Hi Racket Users Fellows: Is there a way to render LaTeX with --htmls

On Dec 16, 2015, at 11:46 PM, tachlithavayati wrote: > Hi Friends: > > With minlatex.rkt functions I can successfuly render HTML with LaTeX in > one-page documents (directly from DrRacket or with Scribble --html). But for > multi-page options, for example with

Re: [racket-users] [Redex] test-->>E and trace

The quickest way is to write a macro that expands to trace plus a test. -- Matthias On Dec 18, 2015, at 6:33 AM, Anton Podkopaev wrote: > Hello, colleagues! > > Is there any way to get a term trace from successful test-->>E in Redex? > > BR, > Anton Podkopaev, PhD

Re: [racket-users] [Redex] test-->>E and trace

I think you may want to call apply-reduction-relation* with a #:stop-when argument instead? Robby On Fri, Dec 18, 2015 at 5:33 AM, Anton Podkopaev wrote: > Hello, colleagues! > > Is there any way to get a term trace from successful test-->>E in Redex? > > BR, > Anton

[racket-users] Can scribble/lp2 typeset comments within chunks?

First try: seemingly not, because this file does not render to HTML with comments: ;;; #lang scribble/lp2 @chunk[<*> (define (f x) ; not g ;; amazing computation (* x x))] ;;; In HTML it becomes this: <*> ::= (define (f

[racket-users] listing the identifiers from "all-defined-out" and "all-from-out"

how can I get lists of identifiers im/exported when one uses all-defined-out all-from-out I can't yet make sense of regprov.rkt -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from

[racket-users] Try Racket is ABORTED.

over. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.

[racket-users] winter break project for student = android

If some smart student is looking for a winter break project (as an alternative to grinding trophies in Fallout 4, arguing Star Wars semiotics in online forums, or marathoning ultimately disappointing Netflix shows)... Build Racket for the Android NDK, then make a generic shell Android app in