lambda calculus code snippets in csharp

create a classical logic system using monad in csharp