4 ms·
Interesting, JVM + Java 8 required and: > Because Wyvern itself is an evolving language and we believe that the techniques herein are broadly applicable, we ha
by virtualwhys 12y ago
Interesting, JVM + Java 8 required and:
> Because Wyvern itself is an evolving language and we believe that the techniques herein are broadly applicable, we have implemented the abstract syntax, typechecking and elaboration rules precisely as specified in this paper, including the hygiene mechanism, in Scala as a stable resource.
Source code here [1]
[1] https://github.com/wyvernlang/tslwyvern https://github.com/wyvernlang/tslwyvern