planetazuzu
5d7a6500fe
- ✅ Ticket 1.1: Estructura Clean Architecture en backend - ✅ Ticket 1.2: Schemas Zod compartidos - ✅ Ticket 1.3: Refactorización drugs.ts (1362 → 8 archivos modulares) - ✅ Ticket 1.4: Refactorización procedures.ts (3583 → 6 archivos modulares) - ✅ Ticket 1.5: Eliminación de duplicidades (~50 líneas) Cambios principales: - Creada estructura Clean Architecture en backend/src/ - Schemas Zod compartidos en backend/src/shared/schemas/ - Refactorización modular de drugs y procedures - Utilidades genéricas en src/utils/ (filter, validation) - Eliminados scripts obsoletos y documentación antigua - Corregidos errores: QueryClient, import test-error-handling - Build verificado y funcionando correctamente
28 lines
1.1 KiB
JavaScript
28 lines
1.1 KiB
JavaScript
/*
|
|
Language: Mizar
|
|
Description: The Mizar Language is a formal language derived from the mathematical vernacular.
|
|
Author: Kelley van Evert <kelleyvanevert@gmail.com>
|
|
Website: http://mizar.org/language/
|
|
Category: scientific
|
|
*/
|
|
|
|
function mizar(hljs) {
|
|
return {
|
|
name: 'Mizar',
|
|
keywords:
|
|
'environ vocabularies notations constructors definitions '
|
|
+ 'registrations theorems schemes requirements begin end definition '
|
|
+ 'registration cluster existence pred func defpred deffunc theorem '
|
|
+ 'proof let take assume then thus hence ex for st holds consider '
|
|
+ 'reconsider such that and in provided of as from be being by means '
|
|
+ 'equals implies iff redefine define now not or attr is mode '
|
|
+ 'suppose per cases set thesis contradiction scheme reserve struct '
|
|
+ 'correctness compatibility coherence symmetry assymetry '
|
|
+ 'reflexivity irreflexivity connectedness uniqueness commutativity '
|
|
+ 'idempotence involutiveness projectivity',
|
|
contains: [ hljs.COMMENT('::', '$') ]
|
|
};
|
|
}
|
|
|
|
export { mizar as default };
|