wyvernlang/tslwyvern

An implementation of TSL Wyvern (ECOOP'14) in Scala. Typechecker + translator to Scala.

语言：Scala · GitHub 星标：7 · Fork：5

在 GitHub 上查看原仓库