Miranda going through lists...

Pattern matching simple types...

Miranda Language - Function lambda...

Miranda while- and for-loops...

Representing Integers as Functions (Church Numerals?)...

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

Haskell / Miranda: Find the type of the function...

How to read this functional code...

How does lazy-evaluation allow for greater modularization?...

How do I determine the data type for a program?...

Haskell: Split a list using list comprehension...

Missing case definition in Miranda...

Miranda Error cannot unify [[char]] with[char] on line 12...