[Grace-core] Type checking dialect

[James Noble]

On 3/12/2013, at 23:46 PM, Timothy Jones <Timothy.Jones at ecs.vuw.ac.nz> wrote:

> The structural type checking dialect is now live on Github

Hey Tim - that sounds great - can you point at us where it is?

> I'll work on this at some point but it's not an immediate priority for me.


I'm not quite sure what "this" is bound to.  
Let's talk about where we take this at the meeting tomorrow.

James