Description
Functional programs can be written in a term-rewriting language with symbolic evaluation features from a development checkout. 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.