VIX

开发JUV:Juvix_ORG

网址: https://juvix.org 更文明、优雅的开发语言。Juvix 将高级前端语法、相依线性类型的核心语言、优化系统、可后端交换的执行模型等综合到统一的堆栈中,以编写可正式验证、可高.

[0:0ms0-2:796ms