l2d

1. data is defined by entities (aka types) and functions
2. data is immutable
3. entites describes the shapes of data (aka types)
4. functions describes relations between entities
5. functions take data as arguments
6. functions return data