Shen Programming Language
Shen is a functional programming language that offers optional static type checking based on Sequent Calculus, Lisp macros, an integrated Prolog, an inbuilt compiler-compiler, pattern matching, Lambda Calculus consistency, and optional lazy evaluation. Shen for Android provides an offline interacti