CSPM-Interpreter-0.5.1.0: An interpreter for CSPM

PortabilityGHC-only
Stabilityexperimental
MaintainerFontaine@cs.uni-duesseldorf.de

CSPM.Interpreter.ClosureSet

Description

Utility functions dealing with closure sets.

Documentation