Climbing the mountain: or, venturing into PL theory

Using Git add -p for fun (and profit)