产品

A Program

DT软件开发DT命令行工具

关于

A Program 是一门依赖类型、带副作用并感知高阶观察类型论（HOTT）的编程语言，源文件编译为产物后可转译成 C、Verilog HDL、CUDA C 等其他语言。