popl14-fixed

tw1509@doc.ic.ac.uk

c7c65cf2 · Replacing every [Let] by ['let] as it conflicted with a Coq notation (TLC need to be updated). · Feb 12, 2014

Fix submodule breakage
Fix compilation with newer versions of Coq