Domain specific language for calculate oranges.
$ stack install
Stack is here.
$ mikan '(\x. (\y. x y)) iszero zero'
(λx. (λy. x (y))) (iszero) (zero)
-> (λx. (λy. x (y))) (iszero)
-> zero
-> (λy. iszero (y)) (zero)
-> iszero (zero)
-> true
---
true
samplecode is here.
NO, it is a counter for oranges. neither more nor less.