New posts in miranda

Abusing the algebra of algebraic data types - why does this work?

haskell functional-programming algebraic-data-types miranda