Mikan

Domain specific language for calculate oranges.

How to use

$ stack install

Stack is here.

Syntax

$ 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.

Is it a calculator or programming langage?

NO, it is a counter for oranges. neither more nor less.