[racket-users] Package typed/graph (was require/typed and opaque structures)

Since apparently I am not the only one wanting to use graphs in Typed Racket, I will prepare a typed interface to Stephen Chang's graph library: typed-graph. I am planning to upload it to the main package catalog. If you have any advice or ideas, or want to contribute to the effort, do tell

[racket-users] how to install Dracula?

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