文件名称：OwO：OwO编译器的占位符
文件大小：13KB
文件格式：ZIP
更新时间：2024-02-21 07:40:35
programming-language dependent-types compiler proof-assistant CompilerRust
OwO：OwO编译器的占位符
【文件预览】：
OwO-master
----.gitattributes(19B)
----Cargo.toml(229B)
----src()
--------main.rs(80B)
--------syntax()
--------type_check.rs(76B)
--------type_check()
--------syntax.rs(164B)
----.circleci()
--------config.yml(1KB)
----LICENSE(11KB)
----README.md(1KB)
----appveyor.yml(2KB)
----.gitignore(43B)