New posts in Miranda

Representing Integers as Functions (Church Numerals?)

Haskell / Miranda: Find the type of the function

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