Have to mention Shen, the strongly typed functional Lisp, whose type system is based on the Sequent Calculus. https://shenlanguage.org/learn.html https://shenl

Have to mention Shen, the strongly typed functional Lisp, whose type system is based on the Sequent Calculus. https://shenlanguage.org/learn.html https://shenlanguage.org/learn.html A bit of an esoreric language, but fascinating nonetheless.