plam is a programming language created in 2017 by Sandro Lovni膷ki.
An interpreter for learning and exploring pure 位-calculus
View source