Skip to main content

Removing

rascal-0.34.0
rascal-tutor-0.18.4

Synopsis

Remove a concept from a course.

Description

To remove a concept C:

  • Remove subdirectory C (and its subdirectories) using standard commands.
  • Recompile the course.

Benefits

  • If there are dangling links to the course, the compiler will produce an exact error for each reference.