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:
- types.m Can you figure out the types and
values of these miranda expressions?
- types.out This is the solution to the questions
in types.m. Do not look at these until you've tried to answer
the questions first.
- section.m Here is some sample code that we did
not get to yet in section. See if you can figure out what these function
types are and what they do.
[back]