Miranda Examples

Here are the examples presented in section. Due to an oversite, the function definition for car is not included in types.m. The definition is in section.m or you can just use this:
car (a:as) = a
Files from section: [back]