[Grace-core] Type checking dialect

[Timothy Jones]

> On Dec 3, 2013, at 11:57 PM, James Noble <kjx at ecs.vuw.ac.nz> wrote:
> 
> Hey Tim - that sounds great - can you point at us where it is?

It's in the sample/dialects directory if you pull the latest changes from Michael's repository. You'll probably have to move them down into the root compiler directory to get it to run. Once the latest changes are available you'll be able to run it from the JS backend.

> I'm not quite sure what "this" is bound to.

The testing. I'm prioritising working on introducing this in the paper.

-- 
Tim