l0bsterssg

node.js static responsive blog post generator
Log | Files | Refs | README

mizar.js (1085B)

      1 /*
      2 Language: Mizar
      3 Description: The Mizar Language is a formal language derived from the mathematical vernacular.
      4 Author: Kelley van Evert <kelleyvanevert@gmail.com>
      5 Website: http://mizar.org/language/
      6 Category: scientific
      7 */
      8 
      9 function mizar(hljs) {
     10   return {
     11     name: 'Mizar',
     12     keywords:
     13       'environ vocabularies notations constructors definitions ' +
     14       'registrations theorems schemes requirements begin end definition ' +
     15       'registration cluster existence pred func defpred deffunc theorem ' +
     16       'proof let take assume then thus hence ex for st holds consider ' +
     17       'reconsider such that and in provided of as from be being by means ' +
     18       'equals implies iff redefine define now not or attr is mode ' +
     19       'suppose per cases set thesis contradiction scheme reserve struct ' +
     20       'correctness compatibility coherence symmetry assymetry ' +
     21       'reflexivity irreflexivity connectedness uniqueness commutativity ' +
     22       'idempotence involutiveness projectivity',
     23     contains: [
     24       hljs.COMMENT('::', '$')
     25     ]
     26   };
     27 }
     28 
     29 module.exports = mizar;