completed by: Furkan Üzümcü
mentors: Aleix Pol
The main goal of this task would be to get the typical functions that most functional languages implement working in KAlgebra.
The functions I would like to have implemented are:
- map, map2
- foldl, foldr
- min, min2
- max, max2
- hd, tl
The naming corresponds to Miranda's (http://www.cs.ucl.ac.uk/teaching/3C11/stdenv.m), if there's any that's not understood just ask me. If there's any that _can't_ be implemented, it has to be justified.
A document with a little explanation of the experience (small, just to know the problems) will have to be delivered.
A KAlgebra log demonstrating that it works will be delivered too, together with a module file with the definitions.