DPP's starting point for simple Lift examples
The starting point for DPP's Lift examples and related work