kleene-type-0

Signatures

Modules

• Kleene
  Submodules

  •  Kleene.Type
    Submodules

    •  Kleene.Type.Examples
      Submodules

      • Kleene.Type.Examples.KleeneSH
•  KleenePlugin
  Submodules

  • KleenePlugin.Debug
  • KleenePlugin.Elaborate
  • KleenePlugin.Matching
  • KleenePlugin.Names
  • KleenePlugin.SWT
  • KleenePlugin.SourcePlugin
  • KleenePlugin.Synthesis
  • KleenePlugin.TcPlugin
  • KleenePlugin.TypeEq
  • KleenePlugin.Types