Nutcracker
Nutcracker project pageA 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.7.mcz
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