ValentinAebi/licorne-lang

Licorne is an experimental programming language exploring refinement types and language-based support for lightweight verification

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

话题：compiler · lightweight-verification · programming-language · refinement-types

在 GitHub 上查看原仓库