[Grace-core] Jonathan Aldrich (& Alex's) Wyvern language -

[James Noble]

Hi all

just read a couple of ECOOP WS (Maspeghi & GlobalDSL?) papers about Wyvern.

it's described here:
 - http://www.cs.cmu.edu/~aldrich/securemobileweb/spec-rationale.html
 - http://www.cs.cmu.edu/~aldrich/papers/maspeghi13.pdf

Some similar things to Grace, some different things (typed, type directed parsing etc)
and more reliance on layout and less on brackets. And they actually have a set of type rules and a working checker that are not too far from what we'll need. 

Anyway, worth looking at in our copious spare time

James