文件名称：intellij-dtlc:IntelliJ插件，用于几种实验编程语言
文件大小：448KB
文件格式：ZIP
更新时间：2024-06-08 00:53:51
dependent-types cubical-type-theory intellij-plugin owo cubicaltt
相依型Lambda演算 IntelliJ插件，用于几种实验性语言（大多数是依赖类型的）（这意味着它们是为PL研究而不是日常使用而创建的），包括： （ ） （ GitHub源码） YaccTT （ GitHub源码） Vanilla Mini-TT （ GitHub镜像） RedPRL （ GitHub源码） 阿格达 莫利克多的混血儿 维塔利 MiniAgda （ GitHub源码） OwO （WIP） 该插件是为个人娱乐目的而创建的。 不要期望太高，但是欢迎您进行贡献/讨论/功能要求！ 屏幕截图： 。