popl14-fixed
default avatar
tw1509@doc.ic.ac.uk
c7c65cf2 · Replacing every [Let] by ['let] as it conflicted with a Coq notation (TLC need to be updated). · 
Fix submodule breakage
Fix compilation with newer versions of Coq