[racket-users] how to install Dracula?

2020-12-25 Thread Dan Synek
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

Re: [racket-users] Understanding recursion in the function normalize-definition form the racket sources

2021-04-17 Thread Dan Synek
) > > 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

[racket-users] Understanding recursion in the function normalize-definition form the racket sources

2021-04-17 Thread Dan Synek
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?

[racket-users] trying to install Rhombus

2023-01-31 Thread Dan Synek
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

Re: [racket-users] trying to install Rhombus

2023-02-01 Thread Dan Synek
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