3 ms·
I just read this as "within the context of MS research projects — maybe even specifically in the category of programming languages — Bosque has a relatively hig
by sfvisser 6y ago
I just read this as "within the context of MS research projects — maybe even specifically in the category of programming languages — Bosque has a relatively high breakthrough value".
But I might be wrong here.
- wolfspider 6y agoIf you have worked with F* or Low* then you probably have some exposure to using Z3 and getting this kind lexical analysis from it is a breakthrough. I just wish Z3 was available on more platforms by default.