A REPL of an optionally static typed functional 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 interactive programming environment (REPL) based on Shen-JVM, which is fully conformant to the Shen standard test suite. A specialized keyboard is provided to ease the input of symbols and special keys. Inputs to the REPL are automatically saved, which can be loaded by the "Prev" and "Next" special keys.