Software

Haskell Packages

guarded-rewriting: Datatype-generic rewriting with preconditions. [package]
multirec: Generic programming for families of recursive datatypes. [package]
perceptron: The perceptron learning algorithm. [package]
rewriting: Generic rewriting library for regular datatypes. [package]
signed-multiset: Multisets with negative membership. [package]