Changeset 617 for Deliverables/D1.1


Ignore:
Timestamp:
Mar 2, 2011, 11:44:10 AM (9 years ago)
Author:
mulligan
Message:

Fixed layout.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.1/Presentations/WP4-dominic-presentation.tex

    r616 r617  
    1010\title{CerCo Work Package 4}
    1111\date{March 11, 2011}
     12
     13\setlength{\parskip}{1em}
    1214
    1315\begin{document}
     
    7476\frametitle{Development strategy}
    7577We built two emulators for the processor.
    76 \vspace{1em}
     78
    7779The first was written in O'Caml.
    7880This allowed us to `iron out' issues in the design and implementation, and make rapid changes in O'Caml's more permissive type system.
    7981We made use of O'Caml's ability to perform I/O for debugging purposes.
    80 \vspace{1em}
     82
    8183When we were happy with the O'Caml emulator, we moved to Matita.
    8284Matita's language is lexically similar to O'Caml, so swathes of code could be copy-pasted with little additional effort.
Note: See TracChangeset for help on using the changeset viewer.