Text this: Discrete Weak KAM Theory