A little interpreter that uses small-step evaluation. The provided example adds two numbers using a function:
(let f = (a -> (b -> (a + b))) in ((f 1) 2))
(((a -> (b -> (a + b))) 1) 2)
((<function> 1) 2)
((b -> (1 + b)) 2)
(<function> 2)
(1 + 2)
3
A little interpreter that uses small-step evaluation. The provided example adds two numbers using a function:
(let f = (a -> (b -> (a + b))) in ((f 1) 2))
(((a -> (b -> (a + b))) 1) 2)
((<function> 1) 2)
((b -> (1 + b)) 2)
(<function> 2)
(1 + 2)
3