文件列表:

.editorconfig (318, 2021-10-19)
.idea (0, 2021-10-19)
.idea\codeStyles (0, 2021-10-19)
.idea\codeStyles\Project.xml (782, 2021-10-19)
.idea\encodings.xml (309, 2021-10-19)
.idea\jsonSchemas.xml (824, 2021-10-19)
.travis.yml (193, 2021-10-19)
LICENSE (11349, 2021-10-19)
appveyor.yml (316, 2021-10-19)
build.gradle.kts (5280, 2021-10-19)
buildSrc (0, 2021-10-19)
buildSrc\build.gradle.kts (620, 2021-10-19)
buildSrc\src (0, 2021-10-19)
buildSrc\src\gen-completion.kt (1357, 2021-10-19)
buildSrc\src\gen-editing.kt (3018, 2021-10-19)
buildSrc\src\gen-execution.kt (11218, 2021-10-19)
buildSrc\src\gen-file-creation.kt (2878, 2021-10-19)
buildSrc\src\gen-infos.kt (2201, 2021-10-19)
buildSrc\src\gen-lex-highlight.kt (3294, 2021-10-19)
buildSrc\src\gen-parser.kt (9927, 2021-10-19)
buildSrc\src\gen-plugin-xml.kt (2391, 2021-10-19)
buildSrc\src\gen-service.kt (5789, 2021-10-19)
buildSrc\src\generator.kt (2647, 2021-10-19)
buildSrc\src\json (0, 2021-10-19)
buildSrc\src\json\lang.kt (2010, 2021-10-19)
gradle (0, 2021-10-19)
gradle\wrapper (0, 2021-10-19)
gradle\wrapper\gradle-wrapper.jar (58694, 2021-10-19)
gradle\wrapper\gradle-wrapper.properties (200, 2021-10-19)
gradlew (5764, 2021-10-19)
gradlew.bat (2953, 2021-10-19)
lang (0, 2021-10-19)
lang\acore.bnf (3995, 2021-10-19)
lang\acore.flex (1820, 2021-10-19)
lang\acore.json (1292, 2021-10-19)
lang\agda.bnf (6600, 2021-10-19)
lang\agda.flex (4123, 2021-10-19)
... ...

# Dependently-Typed Lambda Calculus [![][d-svg]][jb-url] [![][v-svg]][jb-url] [![Build status][av-svg]][av-url] [![Build Status][tv-svg]][tv-url] IntelliJ plugin for several experimental (most of them are dependently-typed) languages (which means they're created for PL research instead of everyday usages), including: +  [Voile] +  [Narc] +  [Mini-TT][minitt] +  [MLPolyR] ([GitHub source][MLPolyR-gh]) +  [CubicalTT] ([GitHub source][Cubical-gh]) +  [YaccTT] ([GitHub source][Yacc-gh]) +  [Vanilla Mini-TT][Mini-TT] ([GitHub mirror][acore-mirror]) +  [RedPRL] ([GitHub source][RedPRL-gh]) +  [Agda] +  Molikto's [mlang] + [VitalyR] +  [MiniAgda] ([GitHub source][MiniAgda-gh]) +  [OwO] (WIP) This plugin is created for personal entertainment purpose. Don't expect too much, but contributions/discussions/feature requests are welcomed! Screenshots: ![preview image]. [preview image]: https://i.imgur.com/QxysJ9X.gif [VitalyR]: https://ice1000.org/pages/vitalyr-normalizer.html [MLPolyR]: https://people.cs.uchicago.edu/~blume/mlpolyr/ [MLPolyR-gh]: https://github.com/owo-lang/MLPolyR [minitt]: https://github.com/owo-lang/minitt-rs [Mini-TT]: http://www.cse.chalmers.se/research/group/logic/Mini-TT/ [CubicalTT]: https://arxiv.org/abs/1611.02108 [Cubical-gh]: https://github.com/mortberg/cubicaltt [YaccTT]: https://arxiv.org/abs/1712.01800 [Yacc-gh]: https://github.com/mortberg/yacctt [acore-mirror]: https://github.com/owo-lang/Mini-TT [Voile]: https://github.com/owo-lang/voile-rs [Narc]: https://github.com/owo-lang/narc-rs [OwO]: https://github.com/owo-lang/OwO [Agda]: https://wiki.portal.chalmers.se/agda/pmwiki.php [RedPRL]: http://www.redprl.org [RedPRL-gh]: https://github.com/RedPRL/sml-redprl [mlang]: https://github.com/molikto/mlang [MiniAgda]: http://www.cse.chalmers.se/~abela/miniagda [MiniAgda-gh]: https://github.com/andreasabel/miniagda [d-svg]: https://img.shields.io/jetbrains/plugin/d/12176.svg [v-svg]: https://img.shields.io/jetbrains/plugin/v/12176.svg [jb-url]: https://plugins.jetbrains.com/plugin/12176 [av-url]: https://ci.appveyor.com/project/ice1000/intellij-owo/branch/master [av-svg]: https://ci.appveyor.com/api/projects/status/2t8f42ojh17cim4j/branch/master?svg=true [tv-url]: https://travis-ci.org/owo-lang/intellij-dtlc [tv-svg]: https://travis-ci.org/owo-lang/intellij-dtlc.svg?branch=master

近期下载者：

相关文件：

评论：[我要评论] [举报此文件]

收藏者：