code-languages 1.33.0 → 1.33.1

package/dist/languages/fstar.cjs

@@ -26,6 +26,26 @@ var fstar = {
       name: "F*",
       description: "Lenguaje funcional con tipos dependientes para verificacion de programas, pruebas y extraccion a codigo ejecutable.",
       longDescription: "F* es un lenguaje funcional orientado a verificacion con tipos dependientes, tipos refinados, efectos y automatizacion de pruebas. Se usa para especificar y verificar correccion funcional, propiedades de seguridad y codigo de sistemas de bajo nivel.\n\nLos programas y pruebas se revisan con la cadena de herramientas de F* y pueden extraerse a destinos como OCaml, F# y C mediante herramientas relacionadas."
+    },
+    it: {
+      name: "F*",
+      description: "Linguaggio funzionale con tipi dipendenti per la verifica del codice e dimostrazioni.",
+      longDescription: "F* \xE8 un linguaggio funzionale orientato alla verifica, dotato di tipi dipendenti, tipi di raffinamento, effetti e automazione delle prove. Viene utilizzato per specificare e verificare la correttezza funzionale, le propriet\xE0 di sicurezza e il codice a basso livello.\n\nI programmi e le dimostrazioni possono essere controllati dall'ambiente F* ed estrapolati in destinazioni come OCaml, F# e C tramite strumenti correlati. Il linguaggio \xE8 utilizzato nella ricerca e nei progetti ad alta affidabilit\xE0 dove il codice eseguibile e le prove verificate devono rimanere strettamente allineate."
+    },
+    fr: {
+      name: "F*",
+      description: "Langage fonctionnel de typage d\xE9pendant pour la v\xE9rification, les preuves et l'extraction en code ex\xE9cutable.",
+      longDescription: "F* est un langage fonctionnel orient\xE9 vers la v\xE9rification avec des types d\xE9pendants, des types d'affinissement, des effets et une automatisation des preuves. Il est utilis\xE9 pour sp\xE9cifier et v\xE9rifier la correction fonctionnelle, les propri\xE9t\xE9s de s\xE9curit\xE9 et le code syst\xE8me \xE0 bas niveau.\n\nLes programmes et les preuves peuvent \xEAtre v\xE9rifi\xE9s par l'environnement F* et extraits vers des cibles telles que OCaml, F# et C gr\xE2ce \xE0 des outils connexes. Le langage est utilis\xE9 dans la recherche et les projets d'assurance haute o\xF9 le code ex\xE9cutable et les preuves v\xE9rifi\xE9es doivent rester \xE9troitement li\xE9s."
+    },
+    de: {
+      name: "F*",
+      description: "Abh\xE4ngig typisierte funktionale Sprache f\xFCr Programmsicherheit und Code-Generierung.",
+      longDescription: "F* ist eine verifikationsorientierte funktionale Sprache mit abh\xE4ngigen Typen, Verfeinerungstypen, Effekten und automatisierten Beweisen. Sie wird verwendet, um die korrekte Funktion, Sicherheitseigenschaften und Low-Level-Systemcode zu spezifizieren und zu \xFCberpr\xFCfen.\n\nProgramme und Beweise k\xF6nnen mithilfe der F*-Toolchain \xFCberpr\xFCft und in Ziele wie OCaml, F# und C \xFCber verwandte Werkzeuge \xFCbersetzt werden. Die Sprache wird in Forschungsprojekten und Projekten mit hohen Sicherheitsanforderungen eingesetzt, bei denen ausf\xFChrbarer Code und maschinell \xFCberpr\xFCfte Beweise eng zusammenarbeiten m\xFCssen."
+    },
+    pt: {
+      name: "F*",
+      description: "Linguagem funcional com tipos dependentes para verifica\xE7\xE3o de programas e provas.",
+      longDescription: "F* \xE9 uma linguagem funcional orientada \xE0 verifica\xE7\xE3o, com tipos dependentes, tipos de refinamento, efeitos e automa\xE7\xE3o de provas. \xC9 usada para especificar e verificar a corre\xE7\xE3o funcional, propriedades de seguran\xE7a e c\xF3digo de sistemas de baixo n\xEDvel.\n\nProgramas e provas podem ser verificados pela ferramenta F*, e extra\xEDdos para destinos como OCaml, F# e C atrav\xE9s de ferramentas relacionadas. A linguagem \xE9 utilizada em projetos de pesquisa e alta garantia onde o c\xF3digo execut\xE1vel e as provas verificadas precisam permanecer pr\xF3ximos."
     }
   }
 };

package/dist/languages/fstar.d.cts

@@ -24,6 +24,26 @@ declare const fstar: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/fstar.d.ts

@@ -24,6 +24,26 @@ declare const fstar: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/fstar.js

@@ -24,6 +24,26 @@ var fstar = {
       name: "F*",
       description: "Lenguaje funcional con tipos dependientes para verificacion de programas, pruebas y extraccion a codigo ejecutable.",
       longDescription: "F* es un lenguaje funcional orientado a verificacion con tipos dependientes, tipos refinados, efectos y automatizacion de pruebas. Se usa para especificar y verificar correccion funcional, propiedades de seguridad y codigo de sistemas de bajo nivel.\n\nLos programas y pruebas se revisan con la cadena de herramientas de F* y pueden extraerse a destinos como OCaml, F# y C mediante herramientas relacionadas."
+    },
+    it: {
+      name: "F*",
+      description: "Linguaggio funzionale con tipi dipendenti per la verifica del codice e dimostrazioni.",
+      longDescription: "F* \xE8 un linguaggio funzionale orientato alla verifica, dotato di tipi dipendenti, tipi di raffinamento, effetti e automazione delle prove. Viene utilizzato per specificare e verificare la correttezza funzionale, le propriet\xE0 di sicurezza e il codice a basso livello.\n\nI programmi e le dimostrazioni possono essere controllati dall'ambiente F* ed estrapolati in destinazioni come OCaml, F# e C tramite strumenti correlati. Il linguaggio \xE8 utilizzato nella ricerca e nei progetti ad alta affidabilit\xE0 dove il codice eseguibile e le prove verificate devono rimanere strettamente allineate."
+    },
+    fr: {
+      name: "F*",
+      description: "Langage fonctionnel de typage d\xE9pendant pour la v\xE9rification, les preuves et l'extraction en code ex\xE9cutable.",
+      longDescription: "F* est un langage fonctionnel orient\xE9 vers la v\xE9rification avec des types d\xE9pendants, des types d'affinissement, des effets et une automatisation des preuves. Il est utilis\xE9 pour sp\xE9cifier et v\xE9rifier la correction fonctionnelle, les propri\xE9t\xE9s de s\xE9curit\xE9 et le code syst\xE8me \xE0 bas niveau.\n\nLes programmes et les preuves peuvent \xEAtre v\xE9rifi\xE9s par l'environnement F* et extraits vers des cibles telles que OCaml, F# et C gr\xE2ce \xE0 des outils connexes. Le langage est utilis\xE9 dans la recherche et les projets d'assurance haute o\xF9 le code ex\xE9cutable et les preuves v\xE9rifi\xE9es doivent rester \xE9troitement li\xE9s."
+    },
+    de: {
+      name: "F*",
+      description: "Abh\xE4ngig typisierte funktionale Sprache f\xFCr Programmsicherheit und Code-Generierung.",
+      longDescription: "F* ist eine verifikationsorientierte funktionale Sprache mit abh\xE4ngigen Typen, Verfeinerungstypen, Effekten und automatisierten Beweisen. Sie wird verwendet, um die korrekte Funktion, Sicherheitseigenschaften und Low-Level-Systemcode zu spezifizieren und zu \xFCberpr\xFCfen.\n\nProgramme und Beweise k\xF6nnen mithilfe der F*-Toolchain \xFCberpr\xFCft und in Ziele wie OCaml, F# und C \xFCber verwandte Werkzeuge \xFCbersetzt werden. Die Sprache wird in Forschungsprojekten und Projekten mit hohen Sicherheitsanforderungen eingesetzt, bei denen ausf\xFChrbarer Code und maschinell \xFCberpr\xFCfte Beweise eng zusammenarbeiten m\xFCssen."
+    },
+    pt: {
+      name: "F*",
+      description: "Linguagem funcional com tipos dependentes para verifica\xE7\xE3o de programas e provas.",
+      longDescription: "F* \xE9 uma linguagem funcional orientada \xE0 verifica\xE7\xE3o, com tipos dependentes, tipos de refinamento, efeitos e automa\xE7\xE3o de provas. \xC9 usada para especificar e verificar a corre\xE7\xE3o funcional, propriedades de seguran\xE7a e c\xF3digo de sistemas de baixo n\xEDvel.\n\nProgramas e provas podem ser verificados pela ferramenta F*, e extra\xEDdos para destinos como OCaml, F# e C atrav\xE9s de ferramentas relacionadas. A linguagem \xE9 utilizada em projetos de pesquisa e alta garantia onde o c\xF3digo execut\xE1vel e as provas verificadas precisam permanecer pr\xF3ximos."
     }
   }
 };

package/dist/languages/io.cjs

@@ -25,6 +25,26 @@ var io = {
       name: "Io",
       description: "Un lenguaje pequeno basado en prototipos, paso de mensajes y sintaxis minima.",
       longDescription: "Io es un lenguaje dinamico basado en prototipos e inspirado por Smalltalk, Self, Lisp y Lua. Su modelo usa clonacion y envio de mensajes, no clases.\n\nIncluye sintaxis compacta, corrutinas, actores, reflexion y runtime embebible."
+    },
+    it: {
+      name: "Io",
+      description: "Un piccolo linguaggio basato su prototipi focalizzato sulla comunicazione tramite messaggi e una sintassi minima.",
+      longDescription: "Io \xE8 un linguaggio dinamico basato su prototipi ispirato a Smalltalk, Self, Lisp e Lua. Il suo modello di oggetti si basa sul clonaggio dei prototipi e sull'invio di messaggi piuttosto che sulle dichiarazioni di classe.\n\nIl linguaggio ha una sintassi compatta, coroutine, attori, riflessione e un runtime integrabile, rendendolo un punto di riferimento utile per la programmazione basata su prototipi e il design linguistico."
+    },
+    fr: {
+      name: "Io",
+      description: "Un petit langage bas\xE9 sur les prototypes, ax\xE9 sur le passage de messages et une syntaxe minimale.",
+      longDescription: "Io est un langage dynamique bas\xE9 sur les prototypes inspir\xE9 de Smalltalk, Self, Lisp et Lua. Son mod\xE8le d'objet repose sur la clonage des prototypes et l'envoi de messages plut\xF4t que sur les d\xE9clarations de classes.\n\nLe langage poss\xE8de une syntaxe compacte, des coroutines, des acteurs, un m\xE9canisme de r\xE9flexion et une biblioth\xE8que d'ex\xE9cution embarquable, ce qui en fait un point de r\xE9f\xE9rence utile pour le prototypage et la conception de langages."
+    },
+    de: {
+      name: "Io",
+      description: "Eine kleine, prototypenbasiert basierte Sprache mit Fokus auf Nachrichten\xFCbermittlung und minimaler Syntax.",
+      longDescription: "Io ist eine dynamische, prototypenbasiert basierte Sprache, die von Smalltalk, Self, Lisp und Lua inspiriert wurde. Ihr Objektmodell basiert auf dem Klonen von Prototypen und dem Senden von Nachrichten anstelle von Klassendeklarationen.\n\nDie Sprache verf\xFCgt \xFCber eine kompakte Syntax, Koroutinen, Akteure, Reflection und einen eingebettbaren Runtime, was sie zu einem n\xFCtzlichen Referenzpunkt f\xFCr prototypenbasiertes Programmieren und die Sprachgestaltung macht."
+    },
+    pt: {
+      name: "Io",
+      description: "Uma linguagem de prot\xF3tipos pequena focada em passagem de mensagens e sintaxe m\xEDnima.",
+      longDescription: "Io \xE9 uma linguagem din\xE2mica baseada em prot\xF3tipos inspirada em Smalltalk, Self, Lisp e Lua. Seu modelo de objeto se baseia na clonagem de prot\xF3tipos e no envio de mensagens, em vez de declara\xE7\xF5es de classe.\n\nA linguagem possui uma sintaxe compacta, corrotinas, atores, reflex\xE3o e um runtime incorpor\xE1vel, tornando-a um ponto de refer\xEAncia \xFAtil para programa\xE7\xE3o orientada a prot\xF3tipos e design de linguagens."
     }
   }
 };

package/dist/languages/io.d.cts

@@ -23,6 +23,26 @@ declare const io: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/io.d.ts

@@ -23,6 +23,26 @@ declare const io: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/io.js

@@ -23,6 +23,26 @@ var io = {
       name: "Io",
       description: "Un lenguaje pequeno basado en prototipos, paso de mensajes y sintaxis minima.",
       longDescription: "Io es un lenguaje dinamico basado en prototipos e inspirado por Smalltalk, Self, Lisp y Lua. Su modelo usa clonacion y envio de mensajes, no clases.\n\nIncluye sintaxis compacta, corrutinas, actores, reflexion y runtime embebible."
+    },
+    it: {
+      name: "Io",
+      description: "Un piccolo linguaggio basato su prototipi focalizzato sulla comunicazione tramite messaggi e una sintassi minima.",
+      longDescription: "Io \xE8 un linguaggio dinamico basato su prototipi ispirato a Smalltalk, Self, Lisp e Lua. Il suo modello di oggetti si basa sul clonaggio dei prototipi e sull'invio di messaggi piuttosto che sulle dichiarazioni di classe.\n\nIl linguaggio ha una sintassi compatta, coroutine, attori, riflessione e un runtime integrabile, rendendolo un punto di riferimento utile per la programmazione basata su prototipi e il design linguistico."
+    },
+    fr: {
+      name: "Io",
+      description: "Un petit langage bas\xE9 sur les prototypes, ax\xE9 sur le passage de messages et une syntaxe minimale.",
+      longDescription: "Io est un langage dynamique bas\xE9 sur les prototypes inspir\xE9 de Smalltalk, Self, Lisp et Lua. Son mod\xE8le d'objet repose sur la clonage des prototypes et l'envoi de messages plut\xF4t que sur les d\xE9clarations de classes.\n\nLe langage poss\xE8de une syntaxe compacte, des coroutines, des acteurs, un m\xE9canisme de r\xE9flexion et une biblioth\xE8que d'ex\xE9cution embarquable, ce qui en fait un point de r\xE9f\xE9rence utile pour le prototypage et la conception de langages."
+    },
+    de: {
+      name: "Io",
+      description: "Eine kleine, prototypenbasiert basierte Sprache mit Fokus auf Nachrichten\xFCbermittlung und minimaler Syntax.",
+      longDescription: "Io ist eine dynamische, prototypenbasiert basierte Sprache, die von Smalltalk, Self, Lisp und Lua inspiriert wurde. Ihr Objektmodell basiert auf dem Klonen von Prototypen und dem Senden von Nachrichten anstelle von Klassendeklarationen.\n\nDie Sprache verf\xFCgt \xFCber eine kompakte Syntax, Koroutinen, Akteure, Reflection und einen eingebettbaren Runtime, was sie zu einem n\xFCtzlichen Referenzpunkt f\xFCr prototypenbasiertes Programmieren und die Sprachgestaltung macht."
+    },
+    pt: {
+      name: "Io",
+      description: "Uma linguagem de prot\xF3tipos pequena focada em passagem de mensagens e sintaxe m\xEDnima.",
+      longDescription: "Io \xE9 uma linguagem din\xE2mica baseada em prot\xF3tipos inspirada em Smalltalk, Self, Lisp e Lua. Seu modelo de objeto se baseia na clonagem de prot\xF3tipos e no envio de mensagens, em vez de declara\xE7\xF5es de classe.\n\nA linguagem possui uma sintaxe compacta, corrotinas, atores, reflex\xE3o e um runtime incorpor\xE1vel, tornando-a um ponto de refer\xEAncia \xFAtil para programa\xE7\xE3o orientada a prot\xF3tipos e design de linguagens."
     }
   }
 };

package/dist/languages/isabelle.cjs

@@ -25,6 +25,26 @@ var isabelle = {
       name: "Isabelle",
       description: "Asistente de pruebas y lenguaje de teorias para matematica, logica y verificacion formal comprobadas por maquina.",
       longDescription: "Isabelle es un asistente de pruebas generico con un lenguaje de teorias usado para desarrollar matematica comprobada por maquina y proyectos de verificacion formal. Su logica objeto mas comun es Isabelle/HOL, una logica de orden superior usada en muchos trabajos academicos e industriales.\n\nLos archivos de teoria combinan definiciones, lemas, pruebas estructuradas Isar, automatizacion y marcado orientado a documentos."
+    },
+    it: {
+      name: "Isabelle",
+      description: "Un assistente di dimostrazione e linguaggio teorico per la matematica controllata, la logica e la verifica formale.",
+      longDescription: "Isabelle \xE8 un assistente di dimostrazione generico con un ricco linguaggio teorico utilizzato per sviluppare progetti di matematica controllata e verifica formale. Il suo pi\xF9 comune sistema logico \xE8 Isabelle/HOL, una logica di ordine superiore utilizzata in numerosi sforzi accademici e industriali di verifica.\n\nI file teorici di Isabelle combinano definizioni, teoremi, prove strutturate Isar, automazione e markup orientato alla documentazione. Il sistema include un IDE, librerie, supporto per la generazione di codice e integrazioni con altri dimostratori automatizzati."
+    },
+    fr: {
+      name: "Isabelle",
+      description: "Assistant de preuve et langage th\xE9orique pour les math\xE9matiques, la logique et la v\xE9rification formelle automatis\xE9es.",
+      longDescription: "Isabelle est un assistant de preuve g\xE9n\xE9rique avec un langage th\xE9orique riche utilis\xE9 pour d\xE9velopper des projets de math\xE9matiques v\xE9rifi\xE9es et de v\xE9rification formelle. Son syst\xE8me logique le plus courant est Isabelle/HOL, une logique d'ordre sup\xE9rieur utilis\xE9e dans de nombreux efforts acad\xE9miques et industriels de v\xE9rification.\n\nLes fichiers th\xE9oriques Isabelle combinent d\xE9finitions, lemmes, preuves structur\xE9es Isar, automatisation et balisage orient\xE9 document. Le syst\xE8me comprend un IDE, des biblioth\xE8ques, un support pour la g\xE9n\xE9ration de code et une int\xE9gration avec des prouveurs automatis\xE9s externes."
+    },
+    de: {
+      name: "Isabelle",
+      description: "Ein Assistent und eine Theorie-Sprache f\xFCr maschinell \xFCberpr\xFCfbare Mathematik, Logik und formale Verifikation.",
+      longDescription: "Isabelle ist ein generischer Beweisassistent mit einer umfangreichen Theorie-Sprache, der zur Entwicklung von maschinell \xFCberpr\xFCften Mathematikprojekten und formalen Verifikationsprojekten verwendet wird. Seine am h\xE4ufigsten verwendete Objektlogik ist Isabelle/HOL, eine h\xF6here Logik, die in vielen akademischen und industriellen Verifikationsbem\xFChungen eingesetzt wird.\n\nIsabelle-Theorie-Dateien kombinieren Definitionen, Lehmata, strukturierte Isar-Beweise, Automatisierung und dokumentenorientiertes Markup. Das System umfasst eine IDE, Bibliotheken, Unterst\xFCtzung f\xFCr Codegenerierung und Integrationen mit externen automatisierten Beweisprogrammen."
+    },
+    pt: {
+      name: "Isabelle",
+      description: "Assistente de prova e linguagem te\xF3rica para matem\xE1tica, l\xF3gica e verifica\xE7\xE3o formal.",
+      longDescription: "Isabelle \xE9 um assistente de prova gen\xE9rico com uma rica linguagem te\xF3rica usado para desenvolver projetos de matem\xE1tica e verifica\xE7\xE3o formal. Seu objeto l\xF3gico mais comum \xE9 Isabelle/HOL, uma l\xF3gica de ordem superior usada em muitos esfor\xE7os acad\xEAmicos e industriais de verifica\xE7\xE3o.\n\nArquivos da teoria Isabelle combinam defini\xE7\xF5es, lemas, provas estruturadas Isar, automa\xE7\xE3o e marca\xE7\xE3o orientada a documentos. O sistema inclui um IDE, bibliotecas, suporte \xE0 gera\xE7\xE3o de c\xF3digo e integra\xE7\xF5es com verificadores automatizados externos."
     }
   }
 };

package/dist/languages/isabelle.d.cts

@@ -23,6 +23,26 @@ declare const isabelle: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/isabelle.d.ts

@@ -23,6 +23,26 @@ declare const isabelle: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/isabelle.js

@@ -23,6 +23,26 @@ var isabelle = {
       name: "Isabelle",
       description: "Asistente de pruebas y lenguaje de teorias para matematica, logica y verificacion formal comprobadas por maquina.",
       longDescription: "Isabelle es un asistente de pruebas generico con un lenguaje de teorias usado para desarrollar matematica comprobada por maquina y proyectos de verificacion formal. Su logica objeto mas comun es Isabelle/HOL, una logica de orden superior usada en muchos trabajos academicos e industriales.\n\nLos archivos de teoria combinan definiciones, lemas, pruebas estructuradas Isar, automatizacion y marcado orientado a documentos."
+    },
+    it: {
+      name: "Isabelle",
+      description: "Un assistente di dimostrazione e linguaggio teorico per la matematica controllata, la logica e la verifica formale.",
+      longDescription: "Isabelle \xE8 un assistente di dimostrazione generico con un ricco linguaggio teorico utilizzato per sviluppare progetti di matematica controllata e verifica formale. Il suo pi\xF9 comune sistema logico \xE8 Isabelle/HOL, una logica di ordine superiore utilizzata in numerosi sforzi accademici e industriali di verifica.\n\nI file teorici di Isabelle combinano definizioni, teoremi, prove strutturate Isar, automazione e markup orientato alla documentazione. Il sistema include un IDE, librerie, supporto per la generazione di codice e integrazioni con altri dimostratori automatizzati."
+    },
+    fr: {
+      name: "Isabelle",
+      description: "Assistant de preuve et langage th\xE9orique pour les math\xE9matiques, la logique et la v\xE9rification formelle automatis\xE9es.",
+      longDescription: "Isabelle est un assistant de preuve g\xE9n\xE9rique avec un langage th\xE9orique riche utilis\xE9 pour d\xE9velopper des projets de math\xE9matiques v\xE9rifi\xE9es et de v\xE9rification formelle. Son syst\xE8me logique le plus courant est Isabelle/HOL, une logique d'ordre sup\xE9rieur utilis\xE9e dans de nombreux efforts acad\xE9miques et industriels de v\xE9rification.\n\nLes fichiers th\xE9oriques Isabelle combinent d\xE9finitions, lemmes, preuves structur\xE9es Isar, automatisation et balisage orient\xE9 document. Le syst\xE8me comprend un IDE, des biblioth\xE8ques, un support pour la g\xE9n\xE9ration de code et une int\xE9gration avec des prouveurs automatis\xE9s externes."
+    },
+    de: {
+      name: "Isabelle",
+      description: "Ein Assistent und eine Theorie-Sprache f\xFCr maschinell \xFCberpr\xFCfbare Mathematik, Logik und formale Verifikation.",
+      longDescription: "Isabelle ist ein generischer Beweisassistent mit einer umfangreichen Theorie-Sprache, der zur Entwicklung von maschinell \xFCberpr\xFCften Mathematikprojekten und formalen Verifikationsprojekten verwendet wird. Seine am h\xE4ufigsten verwendete Objektlogik ist Isabelle/HOL, eine h\xF6here Logik, die in vielen akademischen und industriellen Verifikationsbem\xFChungen eingesetzt wird.\n\nIsabelle-Theorie-Dateien kombinieren Definitionen, Lehmata, strukturierte Isar-Beweise, Automatisierung und dokumentenorientiertes Markup. Das System umfasst eine IDE, Bibliotheken, Unterst\xFCtzung f\xFCr Codegenerierung und Integrationen mit externen automatisierten Beweisprogrammen."
+    },
+    pt: {
+      name: "Isabelle",
+      description: "Assistente de prova e linguagem te\xF3rica para matem\xE1tica, l\xF3gica e verifica\xE7\xE3o formal.",
+      longDescription: "Isabelle \xE9 um assistente de prova gen\xE9rico com uma rica linguagem te\xF3rica usado para desenvolver projetos de matem\xE1tica e verifica\xE7\xE3o formal. Seu objeto l\xF3gico mais comum \xE9 Isabelle/HOL, uma l\xF3gica de ordem superior usada em muitos esfor\xE7os acad\xEAmicos e industriais de verifica\xE7\xE3o.\n\nArquivos da teoria Isabelle combinam defini\xE7\xF5es, lemas, provas estruturadas Isar, automa\xE7\xE3o e marca\xE7\xE3o orientada a documentos. O sistema inclui um IDE, bibliotecas, suporte \xE0 gera\xE7\xE3o de c\xF3digo e integra\xE7\xF5es com verificadores automatizados externos."
     }
   }
 };

package/dist/languages/jsonc.cjs

@@ -25,6 +25,26 @@ var jsonc = {
       name: "JSONC",
       description: "Formato de configuracion compatible con JSON que permite comentarios estilo JavaScript y extensiones amigables para editores.",
       longDescription: "JSONC, o JSON con comentarios, es un formato de configuracion derivado de JSON que permite comentarios sin abandonar el modelo de datos familiar. Es muy conocido porque Visual Studio Code lo usa en ajustes, configuraciones de ejecucion y archivos de workspace.\n\nEsta pensado para configuracion mantenida por humanos, no para intercambio de datos entre servicios. Las herramientas suelen convertir JSONC a valores similares a JSON tras quitar comentarios."
+    },
+    it: {
+      name: "JSONC",
+      description: "Un formato di configurazione compatibile con JSON che consente commenti nello stile JavaScript e estensioni facoltative per l'editor.",
+      longDescription: "JSONC, o JSON con Commenti, \xE8 un formato di configurazione derivato da JSON che permette la presenza di commenti preservando il modello dati JSON familiare. \xC8 ampiamente riconosciuto perch\xE9 Visual Studio Code lo utilizza per impostazioni, configurazioni di avvio e file di workspace.\n\nIl formato \xE8 pensato per una gestione manuale della configurazione piuttosto che per lo scambio di dati tra servizi. Gli strumenti solitamente convertono JSONC in valori simili a JSON ordinari dopo aver rimosso i commenti ed elaborato le estensioni accettate."
+    },
+    fr: {
+      name: "JSONC",
+      description: "Format de configuration compatible avec JSON, permettant des commentaires et des extensions conviviales pour l'\xE9diteur.",
+      longDescription: "JSONC (JSON with Comments) est un format de configuration d\xE9riv\xE9 du JSON qui permet d'utiliser des commentaires tout en conservant le mod\xE8le de donn\xE9es JSON familier. Il est largement reconnu car Visual Studio Code l'utilise pour les param\xE8tres, les configurations de lancement et les fichiers de workspace.\n\nCe format est destin\xE9 \xE0 la maintenance par l'utilisateur plut\xF4t qu'au transfert de donn\xE9es entre services. Les outils analysent g\xE9n\xE9ralement JSONC en valeurs similaires au JSON apr\xE8s avoir supprim\xE9 les commentaires et g\xE9r\xE9 les extensions accept\xE9es."
+    },
+    de: {
+      name: "JSONC",
+      description: "Ein JSON-kompatibles Konfigurationsformat mit JavaScript-\xE4hnlichen Kommentaren und optionalen, benutzerfreundlichen Erweiterungen.",
+      longDescription: "JSONC (JSON with Comments) ist ein auf JSON basierendes Konfigurationsformat, das Kommentare erm\xF6glicht und gleichzeitig das vertraute JSON-Datenmodell beibeh\xE4lt. Es wird weit verbreitet verwendet, da Visual Studio Code es f\xFCr Einstellungen, Launch Configurations und Workspace Files nutzt.\n\nDas Format ist f\xFCr die manuelle Pflege von Konfigurationen gedacht, nicht f\xFCr den Datenaustausch zwischen Diensten. Werkzeuge parsen typischerweise JSONC in normale, JSON-\xE4hnliche Werte, nachdem Kommentare entfernt und akzeptierte Erweiterungen verarbeitet wurden."
+    },
+    pt: {
+      name: "JSONC",
+      description: "Formato de configura\xE7\xE3o compat\xEDvel com JSON que permite coment\xE1rios no estilo JavaScript e extens\xF5es opcionais amig\xE1veis ao editor.",
+      longDescription: "JSONC, ou JSON com Coment\xE1rios, \xE9 um formato de configura\xE7\xE3o derivado do JSON que permite coment\xE1rios preservando o modelo de dados JSON familiar. \xC9 amplamente reconhecido porque o Visual Studio Code o utiliza para configura\xE7\xF5es, defini\xE7\xF5es de lan\xE7amento e arquivos de workspace.\n\nO formato \xE9 destinado \xE0 manuten\xE7\xE3o manual da configura\xE7\xE3o em vez de troca de dados entre servi\xE7os. As ferramentas geralmente convertem o JSONC em valores semelhantes ao JSON ap\xF3s remover os coment\xE1rios e lidar com as extens\xF5es aceitas."
     }
   }
 };

package/dist/languages/jsonc.d.cts

@@ -23,6 +23,26 @@ declare const jsonc: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/jsonc.d.ts

@@ -23,6 +23,26 @@ declare const jsonc: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/jsonc.js

@@ -23,6 +23,26 @@ var jsonc = {
       name: "JSONC",
       description: "Formato de configuracion compatible con JSON que permite comentarios estilo JavaScript y extensiones amigables para editores.",
       longDescription: "JSONC, o JSON con comentarios, es un formato de configuracion derivado de JSON que permite comentarios sin abandonar el modelo de datos familiar. Es muy conocido porque Visual Studio Code lo usa en ajustes, configuraciones de ejecucion y archivos de workspace.\n\nEsta pensado para configuracion mantenida por humanos, no para intercambio de datos entre servicios. Las herramientas suelen convertir JSONC a valores similares a JSON tras quitar comentarios."
+    },
+    it: {
+      name: "JSONC",
+      description: "Un formato di configurazione compatibile con JSON che consente commenti nello stile JavaScript e estensioni facoltative per l'editor.",
+      longDescription: "JSONC, o JSON con Commenti, \xE8 un formato di configurazione derivato da JSON che permette la presenza di commenti preservando il modello dati JSON familiare. \xC8 ampiamente riconosciuto perch\xE9 Visual Studio Code lo utilizza per impostazioni, configurazioni di avvio e file di workspace.\n\nIl formato \xE8 pensato per una gestione manuale della configurazione piuttosto che per lo scambio di dati tra servizi. Gli strumenti solitamente convertono JSONC in valori simili a JSON ordinari dopo aver rimosso i commenti ed elaborato le estensioni accettate."
+    },
+    fr: {
+      name: "JSONC",
+      description: "Format de configuration compatible avec JSON, permettant des commentaires et des extensions conviviales pour l'\xE9diteur.",
+      longDescription: "JSONC (JSON with Comments) est un format de configuration d\xE9riv\xE9 du JSON qui permet d'utiliser des commentaires tout en conservant le mod\xE8le de donn\xE9es JSON familier. Il est largement reconnu car Visual Studio Code l'utilise pour les param\xE8tres, les configurations de lancement et les fichiers de workspace.\n\nCe format est destin\xE9 \xE0 la maintenance par l'utilisateur plut\xF4t qu'au transfert de donn\xE9es entre services. Les outils analysent g\xE9n\xE9ralement JSONC en valeurs similaires au JSON apr\xE8s avoir supprim\xE9 les commentaires et g\xE9r\xE9 les extensions accept\xE9es."
+    },
+    de: {
+      name: "JSONC",
+      description: "Ein JSON-kompatibles Konfigurationsformat mit JavaScript-\xE4hnlichen Kommentaren und optionalen, benutzerfreundlichen Erweiterungen.",
+      longDescription: "JSONC (JSON with Comments) ist ein auf JSON basierendes Konfigurationsformat, das Kommentare erm\xF6glicht und gleichzeitig das vertraute JSON-Datenmodell beibeh\xE4lt. Es wird weit verbreitet verwendet, da Visual Studio Code es f\xFCr Einstellungen, Launch Configurations und Workspace Files nutzt.\n\nDas Format ist f\xFCr die manuelle Pflege von Konfigurationen gedacht, nicht f\xFCr den Datenaustausch zwischen Diensten. Werkzeuge parsen typischerweise JSONC in normale, JSON-\xE4hnliche Werte, nachdem Kommentare entfernt und akzeptierte Erweiterungen verarbeitet wurden."
+    },
+    pt: {
+      name: "JSONC",
+      description: "Formato de configura\xE7\xE3o compat\xEDvel com JSON que permite coment\xE1rios no estilo JavaScript e extens\xF5es opcionais amig\xE1veis ao editor.",
+      longDescription: "JSONC, ou JSON com Coment\xE1rios, \xE9 um formato de configura\xE7\xE3o derivado do JSON que permite coment\xE1rios preservando o modelo de dados JSON familiar. \xC9 amplamente reconhecido porque o Visual Studio Code o utiliza para configura\xE7\xF5es, defini\xE7\xF5es de lan\xE7amento e arquivos de workspace.\n\nO formato \xE9 destinado \xE0 manuten\xE7\xE3o manual da configura\xE7\xE3o em vez de troca de dados entre servi\xE7os. As ferramentas geralmente convertem o JSONC em valores semelhantes ao JSON ap\xF3s remover os coment\xE1rios e lidar com as extens\xF5es aceitas."
     }
   }
 };

package/dist/languages/just.cjs

@@ -26,6 +26,26 @@ var just = {
       name: "Just",
       description: "Lenguaje de recetas para ejecutar comandos de proyecto, automatizar tareas y repetir flujos de desarrollo.",
       longDescription: "Just es un ejecutor de comandos cuya sintaxis justfile define recetas con nombre para tareas comunes del proyecto. Se usa como alternativa mas amable a scripts shell dispersos o targets de make cuando no se necesita un grafo de dependencias.\n\nLas recetas pueden aceptar parametros, definir variables, elegir shells, cargar archivos dotenv y componer otras recetas. Es comun en desarrollo local, ayudas de CI, comandos de release y automatizacion multiplataforma."
+    },
+    it: {
+      name: "Just",
+      description: "Un linguaggio di scripting per definire ricette, automatizzare attivit\xE0 e creare flussi di lavoro ripetibili per i progetti.",
+      longDescription: "Just \xE8 un interprete di comandi che utilizza la sintassi justfile per definire ricette denominate per compiti comuni del progetto. Viene spesso utilizzato come alternativa pi\xF9 semplice agli script shell o ai target make quando non sono necessarie le semantiche del grafo delle dipendenze.\n\nLe ricette possono accettare parametri, impostare variabili, scegliere gli interpreti, caricare file .env e comporre altre ricette. Il formato \xE8 popolare per i flussi di lavoro di sviluppo locali, helper CI, comandi di rilascio e automazione cross-platform dei progetti."
+    },
+    fr: {
+      name: "Just",
+      description: "Un langage de commande pour les recettes de projet, l'automatisation des t\xE2ches et les flux de travail reproductibles des d\xE9veloppeurs.",
+      longDescription: "Just est un ex\xE9cuteur de commandes dont la syntaxe `justfile` d\xE9finit des recettes nomm\xE9es pour les t\xE2ches courantes du projet. Il est souvent utilis\xE9 comme une alternative plus conviviale aux scripts shell ad hoc ou aux cibles make lorsque la s\xE9mantique du graphe de d\xE9pendances n'est pas n\xE9cessaire.\n\nLes recettes peuvent accepter des param\xE8tres, d\xE9finir des variables, choisir des shells, charger des fichiers `.env` et composer d'autres recettes. Le format est populaire pour les flux de travail de d\xE9veloppement local, les assistants CI, les commandes de publication et l'automatisation de projet multiplateforme."
+    },
+    de: {
+      name: "Just",
+      description: "Eine Befehlsausf\xFChrungs-Sprache f\xFCr Projektrezepte, Aufgabenautomatisierung und wiederholbare Entwicklerworkflows.",
+      longDescription: "Just ist ein Befehlsausf\xFChrender, dessen justfile-Syntax benannte Rezepte f\xFCr g\xE4ngige Projekttasks definiert. Es wird oft als freundlichere Alternative zu ad hoc Shell-Skripten oder Make-Zielen verwendet, wenn keine Abh\xE4ngigkeitsgraph-Semantik ben\xF6tigt wird.\n\nRezepte k\xF6nnen Parameter akzeptieren, Variablen setzen, Shells ausw\xE4hlen, .env-Dateien laden und andere Rezepte kombinieren. Das Format ist beliebt f\xFCr lokale Entwicklerworkflows, CI-Helfer, Release-Befehle und plattform\xFCbergreifende Projektautomatisierung."
+    },
+    pt: {
+      name: "Just",
+      description: "Uma linguagem de execu\xE7\xE3o de comandos para receitas de projetos, automa\xE7\xE3o de tarefas e fluxos de trabalho repet\xEDveis para desenvolvedores.",
+      longDescription: "Just \xE9 um interpretador de comandos que usa a sintaxe 'justfile' para definir receitas nomeadas para tarefas comuns do projeto. \xC9 frequentemente usado como uma alternativa mais amig\xE1vel aos scripts shell ou alvos 'make' quando a sem\xE2ntica de grafo de depend\xEAncias n\xE3o s\xE3o necess\xE1rias.\n\nAs receitas podem aceitar par\xE2metros, definir vari\xE1veis, escolher shells, carregar arquivos '.env' e compor outras receitas. O formato \xE9 popular para fluxos de trabalho locais de desenvolvimento, auxiliares CI, comandos de lan\xE7amento e automa\xE7\xE3o de projetos multiplataforma."
     }
   }
 };

package/dist/languages/just.d.cts

@@ -24,6 +24,26 @@ declare const just: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/just.d.ts

@@ -24,6 +24,26 @@ declare const just: {
             description: string;
             longDescription: string;
         };
+        it: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        fr: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        de: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
+        pt: {
+            name: string;
+            description: string;
+            longDescription: string;
+        };
     };
 };
 

package/dist/languages/just.js

@@ -24,6 +24,26 @@ var just = {
       name: "Just",
       description: "Lenguaje de recetas para ejecutar comandos de proyecto, automatizar tareas y repetir flujos de desarrollo.",
       longDescription: "Just es un ejecutor de comandos cuya sintaxis justfile define recetas con nombre para tareas comunes del proyecto. Se usa como alternativa mas amable a scripts shell dispersos o targets de make cuando no se necesita un grafo de dependencias.\n\nLas recetas pueden aceptar parametros, definir variables, elegir shells, cargar archivos dotenv y componer otras recetas. Es comun en desarrollo local, ayudas de CI, comandos de release y automatizacion multiplataforma."
+    },
+    it: {
+      name: "Just",
+      description: "Un linguaggio di scripting per definire ricette, automatizzare attivit\xE0 e creare flussi di lavoro ripetibili per i progetti.",
+      longDescription: "Just \xE8 un interprete di comandi che utilizza la sintassi justfile per definire ricette denominate per compiti comuni del progetto. Viene spesso utilizzato come alternativa pi\xF9 semplice agli script shell o ai target make quando non sono necessarie le semantiche del grafo delle dipendenze.\n\nLe ricette possono accettare parametri, impostare variabili, scegliere gli interpreti, caricare file .env e comporre altre ricette. Il formato \xE8 popolare per i flussi di lavoro di sviluppo locali, helper CI, comandi di rilascio e automazione cross-platform dei progetti."
+    },
+    fr: {
+      name: "Just",
+      description: "Un langage de commande pour les recettes de projet, l'automatisation des t\xE2ches et les flux de travail reproductibles des d\xE9veloppeurs.",
+      longDescription: "Just est un ex\xE9cuteur de commandes dont la syntaxe `justfile` d\xE9finit des recettes nomm\xE9es pour les t\xE2ches courantes du projet. Il est souvent utilis\xE9 comme une alternative plus conviviale aux scripts shell ad hoc ou aux cibles make lorsque la s\xE9mantique du graphe de d\xE9pendances n'est pas n\xE9cessaire.\n\nLes recettes peuvent accepter des param\xE8tres, d\xE9finir des variables, choisir des shells, charger des fichiers `.env` et composer d'autres recettes. Le format est populaire pour les flux de travail de d\xE9veloppement local, les assistants CI, les commandes de publication et l'automatisation de projet multiplateforme."
+    },
+    de: {
+      name: "Just",
+      description: "Eine Befehlsausf\xFChrungs-Sprache f\xFCr Projektrezepte, Aufgabenautomatisierung und wiederholbare Entwicklerworkflows.",
+      longDescription: "Just ist ein Befehlsausf\xFChrender, dessen justfile-Syntax benannte Rezepte f\xFCr g\xE4ngige Projekttasks definiert. Es wird oft als freundlichere Alternative zu ad hoc Shell-Skripten oder Make-Zielen verwendet, wenn keine Abh\xE4ngigkeitsgraph-Semantik ben\xF6tigt wird.\n\nRezepte k\xF6nnen Parameter akzeptieren, Variablen setzen, Shells ausw\xE4hlen, .env-Dateien laden und andere Rezepte kombinieren. Das Format ist beliebt f\xFCr lokale Entwicklerworkflows, CI-Helfer, Release-Befehle und plattform\xFCbergreifende Projektautomatisierung."
+    },
+    pt: {
+      name: "Just",
+      description: "Uma linguagem de execu\xE7\xE3o de comandos para receitas de projetos, automa\xE7\xE3o de tarefas e fluxos de trabalho repet\xEDveis para desenvolvedores.",
+      longDescription: "Just \xE9 um interpretador de comandos que usa a sintaxe 'justfile' para definir receitas nomeadas para tarefas comuns do projeto. \xC9 frequentemente usado como uma alternativa mais amig\xE1vel aos scripts shell ou alvos 'make' quando a sem\xE2ntica de grafo de depend\xEAncias n\xE3o s\xE3o necess\xE1rias.\n\nAs receitas podem aceitar par\xE2metros, definir vari\xE1veis, escolher shells, carregar arquivos '.env' e compor outras receitas. O formato \xE9 popular para fluxos de trabalho locais de desenvolvimento, auxiliares CI, comandos de lan\xE7amento e automa\xE7\xE3o de projetos multiplataforma."
     }
   }
 };

package/dist/languages/kdl.cjs

@@ -25,6 +25,26 @@ var kdl = {
       name: "KDL",
       description: "Lenguaje documental basado en nodos para configuracion legible, datos estructurados y documentos en forma de arbol.",
       longDescription: "KDL es un lenguaje documental basado en nodos con argumentos, propiedades e hijos anidados. Su sintaxis busca ser mas facil de leer y editar a mano que muchos formatos densos, sin perder una correspondencia clara con datos estructurados.\n\nSe usa para archivos de configuracion, documentos especificos de dominio y herramientas que necesitan comentarios, orden y datos en forma de arbol."
+    },
+    it: {
+      name: "KDL",
+      description: "Linguaggio basato su nodi per configurazioni leggibili, dati strutturati e documenti ad albero.",
+      longDescription: "KDL \xE8 un linguaggio di documentazione costruito attorno a nodi nominati con argomenti, propriet\xE0 e figli nidificati. La sua sintassi \xE8 progettata per essere pi\xF9 facile da leggere ed editare manualmente rispetto a molti formati dati densi, pur mappando in modo pulito i dati strutturati.\n\nViene utilizzato per file di configurazione, documenti specifici del dominio e strumenti che richiedono commenti, ordinamento e dati ad albero. L'ecosistema KDL include parser per pi\xF9 lingue e una specifica versionata."
+    },
+    fr: {
+      name: "KDL",
+      description: "Langage de document bas\xE9 sur des n\u0153uds pour une configuration lisible, des donn\xE9es structur\xE9es et des documents en forme d'arborescence.",
+      longDescription: "KDL est un langage de document construit autour de n\u0153uds nomm\xE9s avec des arguments, des propri\xE9t\xE9s et des enfants imbriqu\xE9s. Sa syntaxe est con\xE7ue pour \xEAtre plus facile \xE0 lire et \xE0 modifier manuellement que de nombreux formats de donn\xE9es denses tout en mappant proprement vers des donn\xE9es structur\xE9es.\n\nIl est utilis\xE9 pour les fichiers de configuration, les documents sp\xE9cifiques \xE0 un domaine et les outils qui n\xE9cessitent des commentaires, un ordre et des donn\xE9es en forme d'arborescence. L'\xE9cosyst\xE8me KDL comprend des parseurs pour plusieurs langages et une sp\xE9cification versionn\xE9e."
+    },
+    de: {
+      name: "KDL",
+      description: "Eine Knotenbasierte Dokumentenstruktur f\xFCr lesbare Konfiguration, strukturierte Daten und baumartige Dokumente.",
+      longDescription: "KDL ist eine Dokumentensprache, die auf benannten Knoten mit Argumenten, Eigenschaften und verschachtelten Kindknoten basiert. Ihre Syntax wurde entwickelt, um leichter lesbar und manuell bearbeitbar zu sein als viele dichte Datendarformen, w\xE4hrend sie dennoch sauber an strukturierte Daten abgebildet werden kann.\n\nEs wird f\xFCr Konfigurationsdateien, dom\xE4nenspezifische Dokumente und Tools verwendet, die Kommentare, Sortierung und baumartige Daten ben\xF6tigen. Das KDL-\xD6kosystem umfasst Parser f\xFCr mehrere Sprachen sowie eine versionierte Spezifikation."
+    },
+    pt: {
+      name: "KDL",
+      description: "Linguagem de documentos baseada em n\xF3s para configura\xE7\xE3o leg\xEDvel, dados estruturados e documentos em \xE1rvore.",
+      longDescription: "KDL \xE9 uma linguagem de documentos constru\xEDda em torno de n\xF3s nomeados com argumentos, propriedades e filhos aninhados. Sua sintaxe \xE9 projetada para ser mais f\xE1cil de ler e editar manualmente do que muitos formatos de dados densos, mantendo a correspond\xEAncia limpa com dados estruturados.\n\n\xC9 usada para arquivos de configura\xE7\xE3o, documentos espec\xEDficos de dom\xEDnio e ferramentas que precisam de coment\xE1rios, ordem e dados em \xE1rvore. O ecossistema KDL inclui analisadores para v\xE1rios idiomas e uma especifica\xE7\xE3o versionada."
     }
   }
 };