Submitted by Lennart Kats on 11 August 2010 at 12:46

On 10 September 2010 at 11:15 Lennart Kats commented:

As of 0.5.3, the ESV language is now sort aware (not constructor aware though) and provides syntactic completion completions (you read that right) based on the syntax.


On 10 September 2010 at 11:15 Lennart Kats closed this issue.

Log in to post comments