pocmatos
2017-3-15 12:43:10

@leafac Nice redex tutorial with the Solitaire game. I would love a part 2 to see what Redex can do on its actual domain of programming languages. Which resources have you used to learn redex? Either I missed something or I find resources quite scarce.


pnwamk
2017-3-15 12:58:10

@pocmatos this might be of interest: https://dvanhorn.github.io/redex-aam-tutorial/


pocmatos
2017-3-15 13:31:20

@pnwamk Thanks!


pocmatos
2017-3-15 13:31:35

Does anybody know where I can find the sources for the docs in http://docs.racket-lang.org/c-utils/index.html?


georges-duperon
2017-3-15 13:42:54

@pocmatos https://github.com/samth/c.rkt/blob/master/c/scribblings/c-utils.scrbl and the other files in the same directory (to find it, hover an identifier in the documentation, note the package’s name, look it up on http://pkgn.racket-lang.org\|pkgn.racket-lang.org, and click the “Code” button which sends you over to the GitHub repo)


pocmatos
2017-3-15 13:48:37

Interesting, thanks.


pocmatos
2017-3-15 13:48:49

It belongs to sam but the docs ref dhermann


pocmatos
2017-3-15 13:49:03

Anyway, thanks for teaching me how to look this up.


samth
2017-3-15 14:08:52

@pocmatos I just ported the code to github/the new package system


pocmatos
2017-3-15 14:26:08

@samth ok. saw the typo is fixed. thanks


hoshom
2017-3-15 21:00:55

hoshom
2017-3-15 21:07:02