Disclaimer: This project is at a very early stage, many things may not work. Overview term-lisp is a language for term list processing with first-class pattern matching, inspired by Pie, Haskel, Agda et al. Term rewriting Right from when Church and Turing defined it, the concept of computation has been two-fold --- it can be presented either as the process of mutating the values of some state (Turing Machine) or by transforming some terms, using a predefined set of equations (Lambda Calculus). t...