Measures Concepts
GitHub icon

plam

plam - Programming language

< >

plam is a programming language created in 2017 by Sandro Lovni膷ki.

Source code:
git clone https://github.com/sandrolovnicki/pLam
#1340on PLDB 7Years Old

An interpreter for learning and exploring pure 位-calculus


View source

- Build the next great programming language Search Add Language Features Creators Resources About Blog Acknowledgements Queries Stats Sponsor Day 605 feedback@pldb.io Logout