Hi,
I am trying to run Dracula. I try to follow the instructions, but they seem
quiet old, so I was not sure what to follow. I did install acl2 using
apt-get instead of downloading by hand.
I use DrRacket 7.8 and I installed Dracula with raco pkg install dracula
I installed acl2 version 8.3
)
>
> Am I misunderstanding your message?
>
> John Clements
>
> > On Apr 17, 2021, at 05:02, Dan Synek wrote:
> >
> > I am trying to implement a variation of define. In order to do that I am
> trying to understand the source of the define macro in racket
I am trying to implement a variation of define. In order to do that I am
trying to understand the source of the define macro in racket.
It calls a function normalize-definition which looks like this:
(define-values (normalize-definition)
(case-lambda
[(stx lambda-stx check-context?
Hi,
I used Racket a couple of years ago, but is now quiet rusty. So please
forgive m if my question is obvious. I wanted to experiment with a language
with algebraic style(infix etc), but with powerful macros, so I thought it
could be interesting to check out Rhombus.
Below are my attempts at
It worked with the latest version. Thanks so much, Alex!
On Tuesday, January 31, 2023 at 5:52:14 PM UTC+2 alex...@knauth.org wrote:
>
> On Jan 31, 2023, at 10:27 AM, Dan Synek wrote:
>
> Hi,
>
> I used Racket a couple of years ago, but is now quiet rusty. So please
> for
5 matches
Mail list logo