Ignore:
Timestamp:
Mar 16, 2017, 12:17:13 PM (3 years ago)
Author:
mulligan
Message:

cannibalising bits of project report for compiler proof section

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/jar-cerco-2017/cerco.tex

    r3645 r3656  
    6363
    6464\smartqed
     65
     66\lstset{extendedchars=false}
     67\lstset{inputencoding=utf8x}
     68\DeclareUnicodeCharacter{8797}{:=}
     69\DeclareUnicodeCharacter{10746}{++}
     70\DeclareUnicodeCharacter{9001}{\ensuremath{\langle}}
     71\DeclareUnicodeCharacter{9002}{\ensuremath{\rangle}}
    6572
    6673\title{CerCo: Certified Complexity\thanks{The project CerCo acknowledges the
Note: See TracChangeset for help on using the changeset viewer.