<commit_before>Axiomatic - Legal - HL Book
index book legit legit-base-system

`HL` Legal Specifications: Axiomatic Layer
==========================================

The lowest layer of the base system is the Axiomatic layer, which
is composed completely of non-overrideable special forms.  These
special forms are recognized by a compliant `hl` compiler.

All members of the Axiomatic Layer begin with the prefix
`<axiom>`.

Links
-----

* In [`HL` Legal Specifications](legit.html)
    * [Base System](legit-base-system.html)

<commit_msg>www/legit-axioms.txt: Expanded slightly about <axiom><commit_after>Axiomatic - Legal - HL Book
index book legit legit-base-system

`HL` Legal Specifications: Axiomatic Layer
==========================================

The lowest layer of the base system is the Axiomatic layer, which
is composed completely of non-overrideable special forms.  These
special forms are recognized by a compliant `hl` compiler.

All members of the Axiomatic Layer begin with the prefix
`<axiom>`.  All members of the Axiomatic Layer are special forms
directly recognized by the compiler.  Macros assigned to the
global variable value of these symbols are ignored by the
compiler.

Since these symbols act as special forms, they cannot be passed
around as first-class functions; in order to work as such, they
must be wrapped in an actual function.

The Axiomatic Layer is the only layer that contains any special
forms; any "special forms" to the general user of the language
are really macros.

Links
-----

* In [`HL` Legal Specifications](legit.html)
    * [Base System](legit-base-system.html)


{'fraction_non_alphanumeric': 0.11419753086419752, 'fraction_numerical': 0.0, 'mean_word_length': 4.628472222222222, 'pattern_counts': {'":': 0, '<': 6, '<?xml version=': 0, '>': 6, 'https://': 0, 'lorem ipsum': 0, 'www.': 1, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3997626', 'n_tokens_mistral': 447, 'n_tokens_neox': 420, 'n_words': 208}