A collection of experiments with algebraic data types, including esoterica like unification.

We also implement several types from Haskell's Prelude, like Maybe and Either.

ConfigurationOfNutcracker-fbs.6.mcz

ConfigurationOfNutcracker-fbs.5.mcz

ConfigurationOfNutcracker-fbs.4.mcz

Unification-fbs.32.mcz

ConfigurationOfNutcracker-fbs.3.mcz

PersistentUnionFind-fbs.22.mcz

Unification-fbs.31.mcz

Unification-fbs.30.mcz

SqueakCheck-Generators-fbs.6.mcz

ConfigurationOfNutcracker-fbs.2.mcz

EitherTests-fbs.4.mcz

Either-fbs.9.mcz

MaybeTests-fbs.3.mcz

Maybe-fbs.9.mcz

Maybe-fbs.8.mcz

Either-fbs.8.mcz

EitherTests-fbs.3.mcz

Either-fbs.7.mcz

Unification-fbs.28.mcz

PersistentUnionFind-fbs.20.mcz

PersistentUnionFind-fbs.19.mcz

Unification-fbs.27.mcz

Unification-fbs.26.mcz

PersistentUnionFind-fbs.18.mcz

Unification-fbs.25.mcz

Unification-fbs.24.mcz

Unification-fbs.23.mcz

Unification-fbs.22.mcz

Unification-fbs.20.mcz

Unification-fbs.19.mcz

Unification-fbs.18.mcz

Unification-fbs.16.mcz

PersistentUnionFind-fbs.17.mcz

PersistentUnionFind-fbs.16.mcz

Unification-fbs.14.mcz

UnificationTests-fbs.14.mcz

Unification-fbs.15.mcz

Unification-fbs.13.mcz

UnificationTests-fbs.13.mcz

UnificationTests-fbs.12.mcz

UnificationTests-fbs.11.mcz

UnificationTests-fbs.10.mcz

Unification-fbs.12.mcz

UnificationTests-fbs.8.mcz

Unification-fbs.11.mcz

PersistentUnionFind-fbs.14.mcz

PersistentUnionFind-fbs.13.mcz

PersistentUnionFind-fbs.10.mcz

PersistentUnionFind-fbs.9.mcz

PersistentUnionFind-fbs.8.mcz

PersistentUnionFind-fbs.7.mcz

PersistentUnionFind-fbs.6.mcz

PersistentUnionFind-fbs.5.mcz

PersistentUnionFind-fbs.4.mcz

PersistentUnionFind-fbs.3.mcz

PersistentUnionFind-fbs.2.mcz

PersistentUnionFind-fbs.1.mcz

AlgebraicDataType-fbs.22.mcz

Either-fbs.6.mcz

Either-fbs.5.mcz

Either-fbs.4.mcz

EitherTests-fbs.2.mcz

UnificationTests-fbs.7.mcz

Unification-fbs.10.mcz

AlgebraicDataType-fbs.21.mcz

UnificationTests-fbs.6.mcz

Unification-fbs.9.mcz

UnificationTests-fbs.5.mcz

Unification-fbs.8.mcz

UnificationTests-fbs.4.mcz

AlgebraicDataType-fbs.19.mcz

FingerTree-fbs.2.mcz

FingerTree-fbs.1.mcz

Unification-fbs.7.mcz

UnificationTests-fbs.3.mcz

Unification-fbs.6.mcz

Unification-fbs.5.mcz

Unification-fbs.4.mcz

UnificationTests-fbs.2.mcz

Unification-fbs.3.mcz

AlgebraicDataType-fbs.17.mcz

MonadTests-fbs.2.mcz

Either-fbs.2.mcz

Either-fbs.3.mcz

EitherTests-fbs.1.mcz

MaybeTests-fbs.2.mcz

Maybe-fbs.7.mcz

MaybeTests-fbs.1.mcz

Maybe-fbs.6.mcz

MonadTests-fbs.1.mcz

Either-fbs.1.mcz

Maybe-fbs.4.mcz

Maybe-fbs.3.mcz

Maybe-fbs.2.mcz

Maybe-fbs.1.mcz

AlgebraicDataType-fbs.16.mcz

Unification-fbs.2.mcz

AlgebraicDataType-fbs.15.mcz

AlgebraicDataType-fbs.14.mcz

AlgebraicDataType-fbs.13.mcz

AlgebraicDataType-fbs.12.mcz

AlgebraicDataType-fbs.11.mcz

AlgebraicDataType-fbs.10.mcz

AlgebraicDataType-fbs.9.mcz

AlgebraicDataType-fbs.8.mcz

AlgebraicDataType-fbs.7.mcz

AlgebraicDataType-fbs.6.mcz

AlgebraicDataType-fbs.5.mcz

AlgebraicDataType-fbs.4.mcz

AlgebraicDataType-fbs.3.mcz

AlgebraicDataType-fbs.2.mcz

AlgebraicDataType-fbs.1.mcz

Unification-fbs.1.mcz

UnificationTests-fbs.1.mcz