Dependently-Typed Lambda Calculus

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
• MLPolyR (GitHub source)
• CubicalTT (GitHub source)
• YaccTT (GitHub source)
• Vanilla Mini-TT (GitHub mirror)
• RedPRL (GitHub source)
• Agda
• Molikto's mlang
• VitalyR
• MiniAgda (GitHub source)
• OwO (WIP)

This plugin is created for personal entertainment purpose. Don't expect too much, but contributions/discussions/feature requests are welcomed!

Screenshots: .