Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
{
sum Nil = 0;
sum (Cons x xs) = (+) x (sum xs);
double x = (+) x x;
main = double (sum (Cons 1 (Cons 2 Nil)));
}
6494ad439This file is pinned to the selected release. Download the original to open it in your design tool.