From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Sun, 6 Dec 2009 20:17:28 +0000 (+0100)
Subject: Add reference about Core's operational semantics.
X-Git-Tag: final-thesis~79
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=2c28bdc6ca8e883697d9640166bf17fb8a329cec;hp=2c28bdc6ca8e883697d9640166bf17fb8a329cec

Add reference about Core's operational semantics.
---