Home

Welcome to the pLam wiki!

This home page serves as a reference to all other content related to pLam language and λ-calculus. The content described in these wiki pages deals not just with the documentation of pLam's syntax and semantics, but also serves as a mild introduction to λ-calculus, along with most important definitions and results, pointing to links for further reading.

Table of Contents

Headers
Emphasis

...snip...
dasdas ada s as das da sda sdasd asd
dasdas ada s as das da sda sdasd asd
dasdas ada s as das da sda sdasd asd
dasdas ada s as das da sda sdasd asd
dasdas ada s as das da sda sdasd asd
dasdas ada s as das da sda sdasd asd
dasdas ada s as das da sda sdasd asd
dasdas ada s as das da sda sdasd asd

Headers (back to top)