myExtraContent1
myExtraContent5

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]
myExtraContent7
myExtraContent8