(Mirror) Implementation of the ONS (Ordered Nominal Sets) library in Haskell
Primary LanguageHaskellEuropean Union Public License 1.2EUPL-1.2