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

ex.rkt does not exist

orchid-hybrid opened this issue · comments

commented

Hello, the file ex.rkt seems to be missing:

$ scribble +m tutorial.scrbl
tutorial.scrbl:3:10: cannot open module file
  module path: #<path:/home/orchid/Downloads/redex-aam-tutorial/ex.rkt>
  path: /home/orchid/Downloads/redex-aam-tutorial/ex.rkt
  system error: No such file or directory; errno=2
  context...:
   standard-module-name-resolver

Fixed. Thanks.