Giters

dvanhorn / redex-aam-tutorial

An Introduction to Redex with Abstracting Abstract Machines

Home Page:https://dvanhorn.github.io/redex-aam-tutorial

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

`redex-aam-tutorial` package is not published

leafac opened this issue · comments

commented

I was following the tutorial and couldn't run the suggested command $ raco pkg install redex-aam-tutorial. It fails to find the package in pkgs.racket-lang.org—and the other default catalogs, for that matter. In fact, I checked the catalog and I don't think the package is published.

What I did that worked was using the Git URL directly: https://github.com/dvanhorn/redex-aam-tutorial.git. I was then able to (require redex-aam-tutorial/subst) as expected.

So, I propose either one of the following solutions:

  1. (Recommended) Publish the package on pkgs.racket-lang.org, which I don't feel comfortable doing, because I don't want to claim ownership of the name.
  2. Change the tutorial to read $ raco pkg install https://github.com/dvanhorn/redex-aam-tutorial.git. I can totally do this in a Pull Request, if you'd like.

Thanks for taking the time to write this tutorial. It is great! 👍

commented

I’m closing this as stale.