[artsi0m]

term-lisp is a language for term list processing with first-class pattern matching, inspired by Pie, Haskel, Agda et al