Description
Functional programs can be written in a term-rewriting language with symbolic evaluation features. This package is for developers, researchers, or students exploring the Pure language and its interpreter. It runs local source code, so examples and scripts should come from trusted sources.