Skip to main content

Removing a concept

rascal-0.42.0

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.