Add reference about Core's operational semantics.
[matthijs/master-project/report.git] / Chapters /
drwxr-xr-x   ..
-rw-r--r-- 5292 Conclusions.tex
-rw-r--r-- 6017 Context.tex
-rw-r--r-- 32398 Future.tex
-rw-r--r-- 51165 HardwareDescription.tex
-rw-r--r-- 10455 Introduction.tex
-rw-r--r-- 106674 Normalization.tex
-rw-r--r-- 62296 Prototype.tex