# The Lasp Programming System Documentation

> Lasp is a programming system for building large-scale, eventually consistent, distributed applications.  Lasp provides a comprehensive approach through layered components addressing the problems of cluster membership, data synchronization, message ordering, and consistency management.

Append .md to any documentation page URL to get its markdown version.

## Guides
- [Planetary Scale Applications](https://lasp-lang.readme.io/docs/what-is-the-lasp-suite.md): How does Lasp provide support for planetary scale applications?
- [Overview of the Programming System](https://lasp-lang.readme.io/docs/overview-of-the-programming-system.md): What are the goals of the Lasp programming system?
- [What is Lasp?](https://lasp-lang.readme.io/docs/what-is-lasp.md): Lasp is a programming model for building correct distributed applications.
- [Building Lasp](https://lasp-lang.readme.io/docs/building-lasp.md): How to open a shell, and begin playing around with the Lasp programming system.
- [Declaring Variables](https://lasp-lang.readme.io/docs/declaring-variables.md): How do you define new variables in the system?
- [Reading Variables](https://lasp-lang.readme.io/docs/reading-variables.md): How can I read the value of a variable in Lasp?
- [Updating Variables](https://lasp-lang.readme.io/docs/updating-variables.md): How do I change the state of a variable in Lasp?
- [Monotonic Read](https://lasp-lang.readme.io/docs/monotonic-read.md): How can I enforce that I read a particular value?
- [Functional Operations](https://lasp-lang.readme.io/docs/functional-combinators.md): How you can transform, combine and operate with sets in a functional way.
- [Set-Theoretic Operations](https://lasp-lang.readme.io/docs/set-theoretic-operations.md): How can you combine collections together?
- [What is Lasp PG?](https://lasp-lang.readme.io/docs/what-is-lasp-pg.md): Lasp PG is an eventually consistent, process registry for Erlang.
- [What is Partisan?](https://lasp-lang.readme.io/docs/overview.md): Lasp's scalable, pluggable membership backend, Partisan.
- [Configuration](https://lasp-lang.readme.io/docs/configuration.md): What do I need to know about configuring Partisan?
- [Backends](https://lasp-lang.readme.io/docs/partisan.md): Partisan provides several backends for peer service operations.
- [Peer Service API](https://lasp-lang.readme.io/docs/api.md): How do I manage and cluster nodes using Partisan?
- [Messaging API](https://lasp-lang.readme.io/docs/messaging-api.md): How do I use Partisan to route messages between nodes?
- [Anatomy of a Request](https://lasp-lang.readme.io/docs/internal-anatomy-of-a-request.md): How does a change propagate through the Lasp programming system?
- [Build a Two Node Cluster](https://lasp-lang.readme.io/docs/starting-and-clustering-two-nodes.md): How do we join two nodes together in a single cluster?