2026-02-Smaller-dictionaries
2026-02-01-Dictionary-scribbles
2026-02-01-Why-not-to-have-even-primitives-variadic-without-final-arguments
2026-01-26-Tuple
2026-01-Code-X-specification
2026-01-13-Tuple
2025-12-22-Operational-function-scribbles
2025-12-21-Necessity
2025-12-14-Operational-function-scribbles
2025-12-Code-X-specification
2025-11-22-Necessity
2025-11-16-Code-X-Unabbreviated_parsing
2025-11-01-Typed-declaration-in-disjunction-does-not-imply-existence
2025-10-31-Distinct
2025-11-Code-X-specification
2025-10-08-Code-X-Notation-interface
2025-10-08-Distinct
2025-10-08-Enum
2025-10-Code-X-specification
2025-10-04-Code-X-standard-notation-abbreviated-interface
2025-10-04-Code-X-standard-notation-unabbreviated-interface
2025-10-04-Code-X-standard-notation-inclusion-interface
2025-10-04-Code-X-standard-notation-stream-interface
2025-09-22-Notation-scribbles
2025-08-29-Higher-order
2025-08-25-Higher-order
2025-08-24-Stacks-and-queues
2025-08-23-Stacks-and-queues
2025-08-19-Stacks-and-queues
2025-08-18-Stacks-and-queues
2025-08-10-Stack
2025-08-07-Sense-and-reference-for-the-Wednesday
2025-08-03-Linked-lists
2025-08-02-Linked-lists
2025-07-30-Sense-and-reference-for-the-Wednesday
2025-07-29-Sense-and-reference-for-the-Wednesday
2025-07-27-Sense-and-reference-for-the-Wednesday
2025-07-21-Linked-lists
2025-07-20-Higher-order
2025-07-06-Prompt-for-motivation-for-artificial-language
2025-07-04-Sense-and-reference-for-the-Wednesday
2025-06-28-Sense-and-reference-for-the-Wednesday
2025-06-27-Operational-functions
2025-06-27-Intension-and-extension
2025-05-25-The-Analytic-Synthetic-Distinction-for-the-Wednesday
2025-04-27-Ntuple
2025-04-19-The-Analytic-Synthetic-Distinction-for-the-Wednesday
2025-04-18-The-Analytic-Synthetic-Distinction-for-the-Wednesday
2025-04-15-Necessity-and-Vagueness
2025-04-13-Necessity
2025-03-01-Code-X-operational-syntax-deprecated
2025-03-01-Code-X-hypertext-proposition
2024-12-07-Code-X-hypertext-proposition
2024-12-07-Code-X-operational-syntax
2024-12-07-Thoughts-on-Code-X-inclusion
2024-12-07-Thoughts-on-compound-operators-and-operands
2024-12-04-Code-X-hypertext-proposition
2024-12-04-Code-X-operational-syntax
2024-12-04-Code-X-hypertext-code
2024-12-03-Code-X-hypertext-code
2024-12-02-Code-X-hypertext-code
2024-12-01-Code-X-text
2024-12-01-Code-X-standard-notation-primitives
2024-11-30-Code-X-text
2024-11-28-Code-X-text
2024-11-28-Code-X-standard-notation-primitives
2024-11-28-Code-X-hypertext-proposition
2024-11-28-Code-X-specification-plans
2024-11-27-Text-definition-example
2024-11-25-Code-X-hypertext-proposition
2024-11-25-Code-X-hypertext-code
2024-11-25-Code-X-text
2024-11-25-Code-X-standard-notation
2024-11-25-Code-X-notation-interfaces
2024-11-22-Code-X-text
2024-11-22-Code-X-standard-notation
2024-11-22-Code-X-notation-interfaces
2024-11-22-Code-X-linked-code
2024-11-21-Code-X-standard-notation
2024-11-21-Code-X-notation-interfaces
2024-11-20-Code-X-linked-code
2024-11-19-Code-X-linked-proposition
2024-10-28-Definitions-in-Philosophy-to-The-Wednesday
2024-10-08-Code-X-text
2024-10-07-Code-X-text
2024-10-07-Code-X-standard-notation
2024-10-07-Code-X-text-unnecessarily-character-based
2024-10-06-Code-X-linked-proposition
2024-10-06-Code-X-standard-notation
2024-10-05-Code-X-linked-proposition
2024-10-05-Code-X-standard-notation
2024-10-04-Code-X-linked-proposition
2024-10-04-Code-X-standard-notation
2024-10-04-Code-X-standard-notation-primitives
2024-10-03-Code-X-standard-notation-primitives
2024-10-03-Character-stream-primitives
2024-09-29-Code-X-linked-proposition
2024-09-29-Operational-semantics-primitives
2024-09-29-Code-X-standard-notation-primitives
2024-09-29-Code-X-inclusion-primitives
2024-09-29-Character-stream-primitives
2024-09-25-Code-X-primitives-for-standard-code
2024-09-25-Code-X-primitives-for-standard-notation
2024-09-25-Code-X-primitives-for-standard-syntax
2024-09-25-Code-X-primitives-for-semantics
2024-09-24-Code-X-Personal_mark_concatenation
2024-09-24-Code-X-Personal_character_recognition
2024-09-24-Code-X-Personal_operational_function
2024-09-24-Code-X-Personal_vocabulary
2024-09-24-Code-X-Common-primitives
2024-09-14-Code-X-Character_recognition
2024-09-14-Code-X-Your_character_recognition
2024-09-13-Code-X-specification-strategy
2024-09-06-Code-X-specification-strategy
2024-09-05-UnabbreviatedCodeXProposition
2024-08-31-Generalised-operational-syntax-parsing-interface
2024-08-31-Logic
2024-08-31-Syntax-scribbles
2024-08-30-Syntax-scribbles
2024-07-29-Extended-predication
2024-02-02-Extended-predication
2024-02-01-Syntax-scribbles
2024-02-01-Definitions-scribbles
2024-02-01-Extended-predication
2024-01-31-Extended-predication
2024-01-31-Objects-predicates-timespace-scribbles
2024-01-31-Mutual-singletons-eg-objects-and-coordinates
2024-01-31-Objects-and-predication
2024-01-31-Conceptual-structures
2024-01-13-Identities-are-not-always-necessary
2024-01-06-Conceptual-structures
2023-12-28-Being-for-the-Wednesday
2023-12-27-Being-for-the-Wednesday
2023-12-20-Being-for-the-Wednesday
2023-11-15-Being-for-the-Wednesday
2023-10-14-Objects-and-predication
2023-08-05-Operational-structure-example
2023-08-05-Logic
2023-07-04-Identity-questions-for-the-Wednesday
2023-07-04-Approximate-equivalence
2023-06-19-Approximate-equivalence
2023-06-18-Identity-questions-for-the-Wednesday
2023-06-06-Identity-and-necessity
2023-05-23-Negation-of-variadics-with-complete-definitions
2023-05-23-Negation-of-variadics
2023-05-23-Adic-scribbles-and-complete-definitions
2023-05-22-Negation-of-variadics
2023-05-06-Intension-and-extension
2023-05-06-Logic
2023-05-03-Conceptual-structures
2023-02-14-Operational-function
2023-02-07-Operational-function
2023-02-04-Operational-function
2023-01-04-Relativity
2022-12-24-Dictionary-templates
2022-12-15-New-Syntax-Scribbles
2022-12-04-Dictionary-templates
2022-12-02-Code-X-specification-and-interfaces
2022-11-28-Code-X-specification-and-interfaces
2022-11-27-Code-X-specification-and-interfaces
2022-11-02-Conceptual-structures
2022-10-30-Conceptual-structures
2022-10-11-Code-X-semantics
2022-10-11-Code-X-code
2022-10-11-Code-X-syntax
2022-10-11-Code-X-text
2022-10-11-Code-X-specification-in-English
2022-10-09-Logic
2022-10-08-Meaningless-declared-variables
2022-08-29-Uncertainty
2022-08-20-Grue
2022-07-17-Operational-concepts
2022-07-08-Operational-structures
2022-07-08-Function-result
2022-07-04-Conditional-definitions
2022-07-01-Conditional-definitions
2022-06-29-Operational-structures-scribbles
2022-06-25-Fiction-and-non-fiction-for-The-Wednesday
2022-06-24-Fiction-and-non-fiction-for-The-Wednesday
2022-06-23-Fiction-and-non-fiction-for-The-Wednesday
2022-04-30-Definitions-scribbles
2022-04-19-Definitions-scribbles
2022-04-18-Definitions
2022-04-17-Definitions
2022-04-13-Propositions
2022-03-26-Types-and-incomplete-definitions-scribbles
2022-03-25-Propositions
2022-03-20-Primitive-identity-scribbles
2022-03-09-Aristotles-square-scribbles
2022-02-19-Intension-and-extension
2021-12-31-Intension-and-extension
2021-12-19-Types
2021-11-26-Facts-not-things-for-The-Wednesday-notes
2021-11-20-Reifying-concepts
2021-11-17-Reifying-concepts
2021-11-16-Facts-not-things-for-The-Wednesday
2021-11-14-Facts-not-things-for-The-Wednesday
2021-11-11-Facts-not-things-for-The-Wednesday
2021-11-05-Code-X-to-Ruud
2021-10-31-Double-negation
2021-10-27-Double-negation
2021-10-27-Facts-not-things-for-The-Wednesday
2021-10-19-Facts-not-things-for-The-Wednesday
2021-10-04-Facts-not-things-for-The-Wednesday
2021-09-19-Intension-and-extension
2021-09-15-Cardinal-numbers-no-predecessor-to-zero
2021-09-15-Cardinal-numbers-theorems
2021-09-15-Code-X-refers
2021-09-14-Cardinal-numbers
2021-09-14-Code-X-refers
2021-09-14-Code-X-semantics
2021-09-14-Code-X-code
2021-09-14-Code-X-syntax
2021-09-14-Code-X-text
2021-09-11-Proof
2021-09-06-Proof
2021-08-31-Code-X-specification-in-English
2021-08-31-Automated-links
2021-08-30-Complete-definitions
2021-08-29-Cardinal-numbers-no-predecessor-to-zero
2021-08-29-Cardinal-numbers-theorems
2021-08-29-Cardinal-numbers
2021-08-28-Cardinal-numbers
2021-08-27-Cardinal-numbers
2021-08-23-Ordinal-numbers
2021-08-22-Cardinal-numbers
2021-08-22-Numbers
2021-08-22-Code-X-specification-in-English
2021-08-22-Code-X-semantics
2021-08-22-Code-X-code
2021-08-22-Code-X-syntax
2021-08-22-Code-X-text
2021-08-22-Logic
2021-08-17-Still-trying-to-learn-from-the-liar-and-definition-scribbles
2021-08-14-Goedel-incompleteness
2021-08-07-Goedel-incompleteness
2021-08-07-Logic
2021-08-07-Definition-scribbles
2021-08-06-Goedel-incompleteness
2021-07-26-A-non-formal-artificial-language
2021-07-06-Logic
2021-07-06-Logic[
2021-07-06-Do-not-use-variadic-primitive-negation
2021-06-20-Aristotle-square-scribbles
2021-05-24-The-Incompleteness-of-Meaning-for-The-Wednesday
2021-05-23-Still-trying-to-learn-from-the-liar-and-definition-scribbles
2021-05-10-Learning-from-paradox-beyond-formal-logic
2021-05-08-Learning-from-paradox-beyond-formal-logic
2021-05-05-Learning-from-paradox-beyond-formal-logic
2021-05-01-Learning-from-paradox-beyond-formal-logic
2021-04-10-Use-of-Not-to-express-contingent-truth
2021-03-28-The-language-of-music-preparation
2021-03-27-The-language-of-music-preparation
2021-03-19-Use-of-Not-to-express-contingent-truth
2021-03-13-Still-trying-to-learn-from-the-liar
2021-02-12-Weak-vs-strong-representation-in-Goedel
2021-02-08-Email-scribbles-on-the-Liar
2021-01-08-Code-X-semantics
2020-12-31-Code-X-specification-in-English
2020-12-31-Code-X-text
2020-12-31-Code-X-syntax
2020-12-31-Code-X-code
2020-12-31-Code-X-semantics
2020-12-31-Remove-primitives-from-Code-X-specification
2020-12-30-Remove-primitives-from-Code-X-specification
2020-12-26-Remove-primitives-from-Code-X-specification
2020-12-20-Concepts-again-for-Wednesday-discussion
2020-12-18-The-structure-of-definitions-Wednesday-discussion
2020-12-09-Types
2020-12-06-Code-X-specification-in-English
2020-12-06-Code-X-semantics
2020-12-06-Code-X-syntax
2020-12-06-Code-X-text
2020-12-06-CHANGED-SYNTAX-BACKWARDS-COMPATIBLE-compound-types
2020-12-06-New-declaration-syntax-scribbles
2020-12-06-Types
2020-12-05-Types
2020-12-05-Type-scribbles
2020-11-29-Code-X-shortcomings
2020-11-28-Still-trying-to-learn-from-the-liar
2020-11-27-Still-trying-to-learn-from-the-liar
2020-11-13-Code-X-specification-in-English
2020-11-13-Code-X-syntax
2020-11-13-Code-X-specification-in-English
2020-11-12-Code-X-syntax
2020-10-31-Code-X-specification-in-English
2020-10-31-Code-X-semantics
2020-10-30-Generalising-semantics
2020-09-08-Code-X-specification-in-English
2020-09-06-Dictionary-template
2020-09-01-Numbers
2020-08-31-Numbers
2020-08-30-Numbers
2020-08-29-About-local-dictionaries
2020-08-26-Number-scribbles-typing-arguments
2020-08-25-Numbers
2020-08-17-Numbers
2020-08-14-Numbers
2020-08-10-Code-X-specification-in-English
2020-08-10-Code-X-semantics
2020-08-08-Code-X-specification-in-English
2020-08-08-Code-X-semantics
2020-08-08-Code-X-code
2020-08-08-Code-X-syntax
2020-08-08-Code-X-text
2020-08-08-Logic[#]
2020-08-07-Meaningless-declared-variables
2020-08-05-Numbers
2020-08-05-Logic[#]
2020-08-04-Definition-scribbles
2020-08-04-Numbers
2020-07-10-Numbers
2020-07-09-Numbers
2020-07-04-Numbers
2020-07-03-Numbers
2020-07-02-Numbers
2020-06-29-Numbers
2020-06-28-Numbers
2020-06-27-Numbers
2020-06-26-Equivalence-partitions
2020-06-26-Type-conversion-and-overloading-for-numerical-operations
2020-06-25-Numbers-Natural
2020-06-25-Numbers-Arguments
2020-06-25-Relationship-Operators
2020-06-25-Useful-truth-functions
2020-06-22-Causation-and-intentional-action-for-The-Wednesday
2020-06-20-Data-structures-example
2020-06-19-Data-structures
2020-06-13-Code-X-specification-in-English
2020-06-01-Adicity
2020-05-29-Adicity
2020-05-23-Agency
2020-05-23-Cause
2020-05-14-Necessity
2020-05-14-Adicity
2020-05-14-Definitions[#]
2020-05-13-Identity-not-too-strong
2020-05-10-Numbers-Arguments
2020-05-10-Necessity
2020-05-10-Types-of-identity
2020-05-09-Identity-too-strong
2020-05-02-Data-structures
2020-05-02-Numbers-Rational
2020-04-27-Numbers-Rational
2020-04-25-Numbers-Integer
2020-04-25-Numbers-Natural
2020-04-25-Definitions
2020-04-23-Ideas-and-guesses
2020-04-22-Probability
2020-04-19-Information
2020-04-18-Information-Probability-and-Ratio
2020-02-26-Definitions
2020-01-18-Code-X-specification-in-English
2020-01-18-Code-X-syntax
2020-01-17-Code-X-grammar-scribbles
2020-01-17-Referential-and-social-meaning-for-The-Wednesday
2020-01-11-Code-X-specification-in-English
2020-01-11-Code-X-semantics
2020-01-11-Code-X-syntax
2020-01-11-Code-X-text
2020-01-11-Useful-truth-functions
2020-01-11-Definitions
2020-01-01-Cause-scribbles
2019-12-28-Cause-scribbles
2019-12-23-Generalising-semantics
2019-09-29-Still-trying-to-learn-from-the-liar
2019-09-26-Still-trying-to-learn-from-the-liar
2019-09-21-Still-trying-to-learn-from-the-liar
2019-09-19-Still-trying-to-learn-from-the-liar
2019-09-18-Still-trying-to-learn-from-the-liar
2019-09-15-Code-X-specification-in-English
2019-09-15-Code-X-semantics
2019-09-15-Still-trying-to-learn-from-the-liar
2019-09-14-Code-X-syntax
2019-09-14-Code-X-code
2019-09-14-Code-X-text
2019-09-14-Code-X-specification-in-English
2019-09-14-Code-X-semantics
2019-09-14-Still-trying-to-learn-from-the-liar
2019-09-12-Code-X-semantics
2019-09-12-Still-trying-to-learn-from-the-liar
2019-09-11-Code-X-semantics
2019-09-11-Still-trying-to-learn-from-the-liar
2019-09-08-Code-X-semantics
2019-09-08-Still-trying-to-learn-from-the-liar
2019-08-29-Agnostic-arguments
2019-08-02-Theorems
2019-07-26-Reification
2019-07-25-Reification
2019-07-25-Necessity
2019-07-24-Identity-and-necessity
2019-07-24-Identity-questions-for-the-Wednesday
2019-07-21-Reification
2019-07-20-Identity-questions-for-the-Wednesday
2019-07-19-Identity-questions-for-the-Wednesday
2019-07-06-Various-numbers
2019-06-20-Numbers-Natural
2019-06-18-Numbers-Integer
2019-06-18-Numbers-Natural
2019-06-13-Numbers-Natural
2019-06-05-Numbers-Real
2019-05-31-IfElse-operator
2019-05-26-Not-defining-niladics
2019-05-25-Change
2019-05-24-Cause-import-example
2019-05-23-Variadic-truth-functions
2019-05-22-Variadic-truth-functions
2019-05-16-Cause
2019-05-16-Numbers-Rational
2019-05-15-Numbers-Natural
2019-05-12-Cause
2019-05-09-Cause
2019-05-09-Relationship-Operators
2019-05-09-Useful-truth-functions
2019-05-07-Explanation
2019-05-03-Identity-for-the-Wednesday
2019-05-03-Approximate-equivalence
2019-04-29-Identity-for-the-Wednesday
2019-04-26-Identity-for-the-Wednesday
2019-04-26-Approximate-equivalence
2019-04-20-Concepts-for-the-Wednesday
2019-04-13-Concepts-for-the-Wednesday
2019-04-12-Concepts-for-the-Wednesday
2019-04-11-Concepts-for-the-Wednesday
2019-04-05-Concepts-for-the-Wednesday
2019-03-30-Code-X-specification-in-English
2019-03-30-Code-X-semantics
2019-03-29-Concepts-for-the-Wednesday
2019-03-28-Concepts-for-the-Wednesday
2019-03-27-Concepts-for-the-Wednesday
2019-03-22-Concepts-for-the-Wednesday
2019-03-19-Concepts-for-the-Wednesday
2019-03-15-Code-X-specification-in-English
2019-03-15-Code-X-semantics
2019-03-14-Still-trying-to-learn-from-the-liar
2019-03-12-Still-trying-to-learn-from-the-liar
2019-03-09-Concepts-for-the-Wednesday
2019-03-01-Absolute-value-for-the-Wednesday
2019-02-08-Still-trying-to-learn-from-the-liar
2019-02-02-Wittgenstein-Religion-and-Nonsense-for-Friday-and-the-Wednesday
2019-01-27-Mathematics-for-the-Wednesday
2019-01-08-Still-trying-to-learn-from-the-liar
2019-01-05-Code-X-semantics
2019-01-05-Code-X-syntax
2019-01-05-Code-X-code
2019-01-05-Code-X-text
2019-01-05-Variadic-truth-functions
2019-01-05-Useful-truth-functions
2019-01-03-Definitions
2019-01-02-Code-X-specification-in-English
2019-01-02-Code-X-semantics
2019-01-01-Code-X-specification-in-English
2019-01-01-Code-X-syntax
2019-01-01-Variadic-truth-functions-using-non-empty-types
2019-01-01-Variadic-truth-functions-using-flexible-syntax
2019-01-01-Variadic-truth-functions
2018-12-30-Proposed-changes-to-Code-X-semantics
2018-12-21-Code-X-specification-in-English
2018-12-21-Code-X-syntax
2018-12-21-Code-X-semantics
2018-12-13-Proposed-changes-to-Code-X-semantics
2018-12-12-Code-X-semantics
2018-11-30-Proposed-changes-to-Code-X-semantics
2018-11-27-Code-X-specification-in-English
2018-11-27-Code-X-semantics
2018-11-17-Code-X-specification-in-English
2018-11-17-Code-X-text
2018-11-17-Code-X-code
2018-11-17-Code-X-syntax
2018-11-17-Code-X-semantics
2018-11-15-Code-X-specification-in-English
2018-11-15-Code-X-semantics
2018-11-15-Dictionary-compressed
2018-11-15-Dictionary
2018-11-12-Proposed-changes-to-Code-X-semantics
2018-10-30-TruthFunction
2018-10-28-Useful-truth-functions
2018-10-28-Dictionary[
2018-09-29-Moral-Values-for-The-Wednesday
2018-09-14-Omega-consistency
2018-07-21-False-is-not-a-logical-operator
2018-07-12-Code-X-semantics
2018-07-12-Code-X-code
2018-07-12-Code-X-syntax
2018-07-12-Code-X-text
2018-07-12-Code-X-specification-in-English
2018-07-06-Learning-from-liars
2018-06-09-Cause
2018-05-18-Approximate-equivalence
2018-05-12-Code-X-specification-in-English
2018-05-12-Code-X-semantics
2018-05-05-Code-X-specification-in-English
2018-05-05-Code-X-syntax
2018-05-05-Checking-abbreviation-syntax
2018-05-04-Code-X-specification-in-English
2018-05-04-Code-X-code
2018-05-03-Code-X-specification-in-English
2018-05-03-Code-X-semantics
2018-05-03-Code-X-syntax
2018-04-25-Code-X-specification-in-English
2018-04-25-Code-X-text
2018-04-24-Code-X-specification-in-English
2018-04-24-Code-X-code
2018-04-23-Code-X-specification-in-English
2018-04-23-Code-X-semantics
2018-04-20-Code-X-semantics
2018-04-20-Code-X-code
2018-04-20-Code-X-scribbles
2018-04-19-Code-X-specification-in-English
2018-04-19-Code-X-specification-in-English with briefer grammar
2018-04-18-Code-X-specification-in-English
2018-04-18-Code-X-syntax
2018-04-15-Code-X-specification-in-English
2018-04-15-Code-X-syntax
2018-04-14-Code-X-specification-in-English
2018-04-14-Code-X-semantics
2018-04-14-Adicity
2018-04-14-Zero[]
2018-04-14-Niladicity-vs-Information
2018-04-13-Code-X-specification
2018-04-05-Extension
2018-04-04-Code-X-specification
2018-04-03-Code-X-specification
2018-03-27-Orders
2018-03-26-Code-X-specification
2018-03-20-Code-X-specification
2018-03-17-Higher-order
2018-03-11-Variadic-conjunction
2018-03-11-Approximate-transitivity
2018-03-09-Zero
2018-03-09-Ambiguous-definition
2018-03-06-Code-X-specification
2018-03-05-Code-X-specification
2018-03-03-Code-X-specification
2018-03-01-Code-X-specification
2018-02-28-Code-X-specification
2018-02-27-Code-X-specification
2018-02-25-Code-X-specification
2018-02-23-Operations-grammar
2018-02-23-Operations-references
2018-02-23-Operations-comments
2018-02-23-Operations-specification
2018-02-21-Operations-text-utilities
2018-02-20-Amended-text
2018-02-19-Operations-scribbles
2018-02-19-Operations-comments
2018-02-19-Operations-tokens
2018-02-19-Operations-character-constants
2018-02-19-Operations-text-utilities
2018-02-19-Operations-hypertext-primitives
2018-02-19-Operations-text-primitives
2018-02-19-Operations-specification
2018-02-17-Operations-comments
2018-02-09-Find-and-replace-to-Jaques
2018-02-08-Operations-tokens
2018-02-08-Operations-specification
2018-02-07-Operations-punctuation
2018-02-07-Operations-text-utilities
2018-02-07-Operations-text-primitives
2018-02-07-Operations-specification
2018-02-06-Equivalence-object
2018-02-06-Predicate-disproof
2018-02-03-Operations-hypertext-primitives
2018-02-03-Operations-specification
2018-02-03-Operations-scribbles
2018-02-01-Dataset-example-not-variadic
2018-02-01-Dataset-example
2018-02-01-Datasets
2018-01-31-Datasets
2018-01-31-Variadic-operators
2018-01-28-Sentience-and-animal
2018-01-21-Operations-scribbles
2018-01-13-Variadic-operators
2018-01-13-Limits-to-vagueness
2018-01-13-Zero[]
2018-01-10-Code-X-Characters
2018-01-10-Zero[]
2018-01-10-Limits-to-iteration-instances
2018-01-04-Operations
2018-01-04-Zero[]
2018-01-04-Operations-scribbles
2018-01-01-Zero[]
2017-12-19-Zero[]
2017-12-19-Variadic-operators
2017-12-19-Short-notes-on-typing-contexts
2017-12-16-Short-notes-on-typing-contexts
2017-12-15-Short-notes-on-typing-contexts
2017-12-10-Code-X-Strings
2017-12-07-Code-X-Strings
2017-11-20-Limits-to-iteration-instances
2017-11-19-Limits-to-iteration-instances
2017-11-19-Operations-scribbles
2017-11-18-Operations-scribbles
2017-11-02-Operations-scribbles
2017-10-15-Liar-to-PhilSoc-Friday
2017-10-14-Liar-to-PhilSoc-Friday
2017-10-13-Liar-to-PhilSoc-Friday
2017-10-12-Liar-to-PhilSoc-Friday
2017-10-12-Liar-scribbles-heterological
2017-10-11-Liar-to-PhilSoc-Friday
2017-10-11-Liar-scribbles-avoiding-contradiction-in-X
2017-10-07-Liar-to-PhilSoc-Friday
2017-10-07-Operation-scribbles
2017-09-29-Liar-to-PhilSoc-Friday
2017-09-29-Liar-to-PhilSoc-Friday-announcement
2017-09-26-Liar-scribbles-context-and-meaning
2017-09-22-Liar-to-PhilSoc-Friday
2017-09-22-Liar-scribbles-this-is-meaningless
2017-09-22-Liar-scribbles-definition-of-untrue
2017-09-22-Operation-scribbles
2017-09-21-Liar-to-PhilSoc-Friday
2017-09-20-Liar-scribbles-this-is-meaningless
2017-09-16-Operation-scribbles
2017-09-08-Operation-scribbles
2017-09-03-Operation-scribbles
2017-09-01-Operation-scribbles
2017-07-28-Class-use-example
2017-07-28-Class-definition-example
2017-07-28-Class-interface-example
2017-07-28-Object-oriented-scribbles
2017-07-27-List-to-property
2017-07-27-Subiteration-scribbles
2017-07-27-Operation-scribbles
2017-07-26-Operation-scribbles
2017-06-04-Code-X-Strings
2017-06-02-Code-X-Characters
2017-06-01-Code-X-Specification-in-English
2017-05-31-Code-X-Specification-in-English
2017-05-30-Niladic
2017-05-30-Zero[]
2017-05-21-Strings
2017-05-20-Strings-sequences-arrays
2017-04-27-Strings
2017-04-26-XBoot[]
2017-04-26-Short-notes-on-typing-contexts
2017-04-25-Niladic-based-types
2017-04-24-XBoot[]
2017-04-24-Strings-and-defined-objects-as-monadic
2017-04-23-Strings-and-defined-objects-as-monadic
2017-04-17-Data-structure-techniques
2017-04-16-Data-structure-techniques-Objects-are-Information-are-Niladic
2017-04-14-Data-structure-techniques
2017-04-11-Strings
2017-04-09-Strings
2017-04-09-Code-X-Specification-in-English
2017-04-08-Code-X-Specification-in-English
2017-04-02-Code-X-Specification-in-English
2017-03-25-Code-X-Specification-in-English
2017-03-21-Code-X-Specification-in-English
2017-03-15-Code-X-Specification-in-English
2017-03-15-Code-X-Specification-in-Code-X
2017-03-04-Code-X-Specification-in-English
2017-03-04-Code-X-Specification-in-Code-X
2017-03-04-XBoot[]
2017-03-03-Code-X-Specification-in-English
2017-03-03-Code-X-Specification-in-Code-X
2017-03-02-Code-X-Specification-in-English
2017-03-02-Code-X-Specification-in-Code-X
2017-03-01-Code-X-Specification-in-English
2017-03-01-Code-X-Specification-in-Code-X
2017-03-01-In-Progress-Code-X-Specification
2017-03-01-XBoot[]
2017-02-28-Code-X-Specification-scribbles
2017-02-22-Facts-and-things
2017-02-18-Semantics-scribbles
2017-02-17-Limits-to-iteration-instances
2017-01-12-Equivalent-numbers-may-not-be-identical
2017-01-11-Equivalence-operators-are-equivalence-relations
2017-01-10-Numbers-Natural
2017-01-04-Numbers-Natural
2017-01-04-Numbers-Natural-aborted-proofs
2016-12-31-Infinitary-addition
2016-12-31-Numbers-Natural
2016-12-24-Vagueness
2016-12-07-Relativism
2016-11-24-Infinitary-addition
2016-11-24-Numbers-Natural
2016-11-22-Analyticity
2016-11-14-Information-scribbles
2016-11-13-Numbers-Natural
2016-11-13-Information-scribbles
2016-11-05-XBoot[]
2016-11-04-Equivalent-order-scribbles
2016-11-01-Equivalent-order-scribbles
2016-10-31-Equivalent-order-scribbles
2016-10-30-XBoot[]
2016-10-29-Cause
2016-10-29-XBoot[]
2016-10-28-Cause
2016-10-28-Causation-requiring-temporal-direction
2016-09-27-Cause
2016-07-31-Causes
2016-07-31-XBoot[]
2016-07-07-PersistentStateMachine
2016-06-24-Strings
2016-06-04-String-processing-scribbles
2016-05-14-XBoot[]
2016-05-05-New-iterator-syntax-scribbles
2016-04-29-XBoot
2016-04-29-New-argument-syntax-scribbles
2016-04-23-Cause
2016-04-23-Numbers-Rational
2016-04-19-Cause
2016-04-19-Event
2016-04-19-Numbers-Rational
2016-04-16-XBoot
2016-04-15-Some-planned-entries
2016-04-02-Ostensive-definitions
2016-01-10-Numbers-Natural
2016-01-05-Uninstantiated-operands-counting-and-identity
2015-09-16-Atomic-events-not-presupposed
2015-07-03-Numbers-Rational
2015-05-29-Numbers-Rational
2015-05-29-Numbers-Natural
2015-05-26-Cause
2015-05-23-Numbers-Natural
2015-05-20-XBoot
2015-05-20-Cause
2015-05-17-Cause
2015-05-17-Event
2015-05-17-Relationship-Operators
2015-05-17-Ratio-Dict
2015-05-16-Ratio-Dict
2015-05-16-Binary-Relationships
2015-05-15-Interpreting-iteration
2015-05-15-Relationship-properties
2015-05-13-Relationship-properties
2015-05-13-Untyped-iterators
2015-05-05-XBoot
2015-05-03-XBoot
2015-04-08-XBoot
2015-04-08-Zero-Dict
2015-04-08-CHANGED-SYNTAX-typed-iterators
2015-04-08-Operand-number-affects-type
2015-04-08-Expresses
2015-04-07-Expresses
2015-03-28-Relationship-properties
2015-03-22-Iteration-cannot-represent-an-operator
2015-03-21-XBoot
2015-03-21-CHANGED-SYNTAX-typed-iterators
2015-03-19-Expressing-information-vs-operations
2015-03-14-Peano-axiom-3-proof
2015-03-14-Peano-axiom-1-proof
2015-03-14-Peano-axiom-2-proof
2015-03-13-Peano-axiom-1-proof
2015-03-13-Peano-axiom-2-proof
2015-03-13-Peano-axiom-2-proof-clickable
2015-03-07-Peano-axiom-5-proof
2015-03-07-Peano-axiom-4-proof
2015-03-07-Peano-axiom-3-proof
2015-03-07-Peano-axiom-1-proof
2015-03-07-Peano-axiom-2-proof
2015-03-07-Peano-axioms
2015-02-26-Language
2015-02-24-Language
2015-02-24-Language-Primitives
2015-02-19-Language
2015-02-09-Impossible-to-define-existence-as-an-operand
2015-01-30-Extended-iterator-scribbles
2015-01-18-Extended-iterator-scribbles
2015-01-17-Extended-iterator-scribbles
2014-12-31-Language
2014-12-31-Language-Primitives
2014-12-19-Meaning
2014-12-19-Language
2014-12-19-Language-Primitives
2014-12-09-Numbers-Natural
2014-12-01-Proof-extensional-equivalence-is-not-identity
2014-11-25-Example-Science-Cause-Dict
2014-11-25-IndirectRelationship-Dict
2014-11-25-Cause-Dict
2014-11-25-Ratio-Dict
2014-10-18-Fundamental-logic-first-order-logic
2014-10-18-Fundamental-logic-introduction-to-code-x
2014-09-25-Not-attempting-daily-journal-entries
2014-09-23-Multiverses
2014-09-22-Fundamental-logic-propositional-calculus
2014-09-22-Proof-conventions
2014-09-21-Proof-conventions
2014-09-20-Fundamental-logic-propositional-calculus
2014-09-20-TruthFunction-Dict
2014-09-19-Fundamental-logic-possible-chapters
2014-09-15-Fundamental-logic-introduction-to-code-x
2014-09-15-Functions
2014-09-06-Fundamental-logic-introduction-to-code-x
2014-09-05-Functions
2014-09-04-Fundamental-logic-introduction-to-code-x
2014-08-30-Meaning
2014-08-28-Language
2014-08-28-Language-Primitives
2014-08-26-Truth-tables-and-independence
2014-08-26-Careful-analysis-of-the-concept-of-definition-avoids-some-semantic-paradoxes
2014-08-10-Practising-uninstantiated-iterators
2014-08-09-Reification-with-scribbles
2014-08-09-Sets-do-not-exist
2014-08-07-Reification
2014-07-15-Sets
2014-07-01-Propositional-calculus-axioms
2014-06-28-Operators-cannot-be-functions-of-the-operand-of-their-operand
2014-06-19-Sets
2014-06-15-Language
2014-06-14-Language
2014-06-14-Language-Primitives
2014-06-04-Sets-do-not-exist
2014-05-31-Numbers-Natural
2014-05-31-XBoot
2014-05-27-Family-Operators-vs-Information
2014-05-27-Family-Primitives-Dict
2014-05-27-Definition-Dict
2014-05-26-Family-Operators-vs-Information
2014-05-26-Family-Primitives-Dict
2014-05-26-Definition-Dict
2014-05-25-Predicate
2014-05-25-Plans
2014-05-22-Object-oriented
2014-05-20-Language
2014-05-20-Language-Primitives
2014-05-18-Language
2014-05-18-Language-Primitives
2014-04-27-Definition-Example
2014-04-27-Definition-Dict
2014-04-25-Paradoxical-Definitions
2014-04-22-Metalanguage-scribbles
2014-04-02-Compound-operator-inconsistency
2014-04-01-Syntax-with-simple-iterators-and-optional-space
2014-03-31-Syntax-with-simple-iterators-and-optional-space
2014-03-31-Syntax-metalanguage
2014-03-31-Language-Primitives
2014-03-22-Language
2014-03-21-Language
2014-03-18-Language
2014-03-17-Language
2014-03-17-Information
2014-02-08-Contradictory-Definitions
2014-01-24-Meaning
2014-01-01-Overloaded-Definitions
2013-12-31-Numbers-Integers
2013-12-31-Numbers-Natural
2013-12-31-Numbers-Utility
2013-12-31-Numbers-Integers-Def
2013-12-31-Numbers-Natural-Def
2013-12-31-Numbers-Utility-Def
2013-10-12-Combining-with-facts
2013-10-04-Family-Operators-vs-Information
2013-10-12-Combining-with-facts
2013-09-24-Language-fundamentals-primitives
2013-09-21-Syntax-with-simple-iterators-and-optional-space
2013-09-21-Syntax-metalanguage
2013-09-21-Syntax-metalanguage-primitives
2013-09-21-Alternative-iterator-syntax-scribbles
2012-10-21-Definition-style-and-purpose
2012-10-06-Numbers-Integers
2012-09-18-Numbers-Integers
2012-08-30-Numbers-Natural
2012-08-28-Numbers-Utility
2012-07-23-Recursive-Counting
2012-07-21-Positive-and-Negative-Dict
2012-07-20-Rational-Numbers
2012-07-10-TruthFunction-Dict
2012-07-10-Remembering-how-shadowing-subiterators-work
2012-07-01-Probability-Dict
2012-06-30-Probability-Dict
2012-06-27-Rational-Numbers
2012-06-24-Recursive-Counting
2012-06-22-Ratio-Dict
2012-06-22-Recursive-Counting
2012-06-15-Ratio-Dict
2012-06-14-Counting-numbers
2012-06-11-Timespace
2012-06-11-Uninstantiated-iterators-predication-and-places
2012-06-05-Spatial-Temporal-Relationships-vague-thoughts
2012-06-02-Cause-types
2012-06-02-Cause-Dict
2012-06-02-Ratio-Dict.html
2012-05-30-Syntax-with-simple-iterators-and-optional-space
2012-05-16-Syntax-with-simple-iterators-and-optional-space
2012-05-16-Syntax-with-simple-iterators
2012-05-16-Syntax-metalanguage
2012-05-16-Syntax-metalanguage-primitives
2012-05-09-Syntax-grammar-classes
2012-05-09-Relationship-properties
2012-05-09-Equivalent-Operators-and-Operations
2012-05-08-Example-Programme-declaration-safe-anchors
2012-05-08-Example-Instruction-Primitives
2012-05-08-Scope
2012-05-08-StateDict
2012-05-08-Ordering
2012-05-08-Zero-Dict
2012-05-08-Alternative-iterator-syntax-scribbles
2012-04-25-Example-Programme-declaration-safe-anchors
2012-04-22-Lambda-operator
2012-03-25-Zero-Dict
2012-03-24-Syntax-metalanguage-primitives-alternative-quotation
2012-03-16-Quotation-scribbles
2012-03-12-Example-Programme-declaration-safe-anchors
2012-03-07-Zero-Dict-color-roles
2012-03-07-Recursive-Counting-color-roles
2012-03-07-Recursive-Counting-all-visible-highlights
2012-03-07-Counting-numbers-related-highlights-another
2012-03-07-Counting-numbers-related-highlights
2012-03-07-Recursive-Counting-related-highlights
2012-03-07-Recursive-Counting-all-highlights
2012-02-23-Syntax-grammar-classes
2012-02-23-Syntax-with-simple-iterators
2012-02-21-Syntax-class-php
2012-02-20-Syntax-class-Java
2012-02-17-Syntax-with-simple-iterators
2012-02-17-Syntax-metalanguage
2012-02-17-Syntax-metalanguage-primitives
2012-02-12-Recursive-Counting
2012-02-11-New-argument-syntax-scribbles
2012-02-09-Informal-syntax-examples
2012-02-09-Informal-syntax-definition
2012-02-08-Recursive-Counting
2012-02-07-Counting-numbers
2012-02-07-Example-Programme
2012-02-04-Scope
2012-02-02-Ordering
2011-10-08-Example-Programme
2011-10-08-Example-Instruction-Primitives
2011-10-08-Scope
2011-10-08-StateDict
2011-09-22-Proper-name-scribbles-ie-non-belief-Operators-without-operands
2011-09-18-Family-Operators-simpler
2011-09-18-Family-Operator-proofs
2011-09-18-Family-Operators
2011-08-25-Ordering-ordered-operands
2011-08-25-Ordering-nested-arguments
2011-08-25-Ordering-iterating-arguments
2011-08-24-Equivalent-Operators-and-Operations
2011-08-18-Iteration-scribbles
2011-08-16-Language-fundamentals
2011-08-11-Relationship-properties
2011-07-20-The-World-and-Truth
2011-07-20-Dyadic-Necessity-Functions-as-Identities
2011-07-20-Necessity
2011-07-19-Dyadic-Necessity-Functions-with-Venn
2011-07-19-Necessity
2011-07-19-Dyadic-Truth-Functions-with-Venn
2011-06-18-StrongImplication
2011-06-06-Equivalent-Operators-and-Operations
2011-04-18-Cause-Dict
2011-04-10-Binary-Relationships
2011-03-17-Zero-Dict
2011-03-11-Ordering
2011-02-15-Ordering
2011-02-05-Counting
2011-02-04-Counting
2011-02-01-Counting
2011-01-05-Cousin-Dict
2011-01-05-Sibling-Dict
2011-01-05-Family-Primitives-Dict
2011-01-02-Relationship-properties
2011-01-02-Equivalence
2011-01-02-Zero-Dict
2010-12-29-Relationship-properties
2010-12-29-Cause-Dict
2010-12-29-Ratio-Dict
2010-12-29-CHANGED-SYNTAX-Iterators
2010-12-20-Relationship-properties
2010-12-19-Symmetry-of-infinite-n-adic-relationships
2010-12-19-Reflexivity-of-infinite-n-adic-relationships
2010-12-17-Cause-Dict
2010-12-17-Ratio-Dict
2010-12-17-Notation-Conventions
2010-12-17-Ratio-Pico-indentation
2010-12-17-Ratio-Horstmann-indentation
2010-12-17-Ratio-Allman-indentation
2010-12-17-Ratio
2010-12-17-Cause-Pico-indentation
2010-12-17-Cause-Lisp-indentation
2010-12-16-Ratio-squashed
2010-12-16-Ratio-pragmatic
2010-12-16-Ratio-medium
2010-12-16-Ratio-extended
2010-12-16-Ratio-compact
2010-12-16-Ratio
2010-12-16-Indentation-experiments
2010-12-16-Indentation-experiments
2010-12-16-Indentation-experiments
2010-12-05-Probable-Cause
2010-12-02-Ratio
2010-12-01-Definite-Cause
2010-12-01-Symmetry-illustrating-full-iteration-syntax
2010-12-01-Reflexivity-illustrating-full-iteration-syntax
2010-12-01-Reflexivity-of-infinite-n-adic-relationships
2010-11-30-Symmetry-of-infinite-n-adic-relationships
2010-11-18-Operations-again
2010-11-18-Operations-and-Beliefs
2010-11-05-Informal-Syntax-Definition
2010-11-04-Syntax-Examples
2010-11-04-Operator-definition
2010-05-02-Power
2010-05-01-Divide
2010-05-01-Multiply
2010-04-30-Cause
2010-03-10-Counting-Examples
2010-03-10-Counting
2010-02-25-Recursive-Counting
2010-02-23-Divide
2010-02-23-Multiply
2010-02-22-Equinumerous
2010-02-22-One
2010-02-12-Russells-harmless-paradox
2010-02-11-Allowable-substitutions
2010-02-10-One
2010-02-10-Equivalence
2010-02-07-Counting-Ungeneralised
2010-02-06-Counting-Generalised
2010-02-06-Counting-Ungeneralised
2010-02-05-One
2010-01-31-Zero-Dict
2010-01-31-Symmetry-of-infinite-n-adic-relationships
2010-01-31-Reflexivity-of-infinite-n-adic-relationships
2010-01-31-Including-a-dictionary
2010-01-30-Partitioning-Scribble
2010-01-23-N-adic-Relationship-Property-Examples
2010-01-22-Dyadic-Relationship-Property-Examples
2010-01-21-Equivalence-Examples
2010-01-21-Operation-Syntax-Full
2010-01-21-Operation-Syntax-with-Iterators
2010-01-21-Operation-Syntax-with-Comments-and-Space
2010-01-21-Operation-Syntax
2010-01-21-Properties-of-infinite-n-adic-relationships
2010-01-21-Properties-of-finite-dyadic-relationships
2010-01-21-Properties-of-infinite-dyadic-relationships
2010-01-21-Iteration-Examples
2010-01-21-Finite-Equivalence
2010-01-21-N-adic-Equivalence
2010-01-21-Dyadic-Equivalence
2010-01-21-Quantifiers
2010-01-21-Dyadic-Truth-Functions
2010-01-21-Creating-a-dictionary
2010-01-20-Connectives
2010-01-20-CHANGED-SYNTAX-all-operands-ordered
2010-01-19-Equivalence-Examples
2010-01-17-Finite-Equivalence
2010-01-16-Operation-Syntax-Full
2010-01-15-Introduction
2010-01-14-Operation-Syntax-with-Iterators
2010-01-14-Operation-Syntax-with-Comments-and-Space
2010-01-13-Operation-Syntax
2010-01-13-Zero-Dict
2010-01-13-Properties-of-infinite-n-adic-relationships
2010-01-13-Properties-of-finite-dyadic-relationships
2010-01-13-Properties-of-infinite-dyadic-relationships
2010-01-13-Iteration-Examples
2010-01-13-Iterating-Operands
2010-01-13-Specifying-Operands
2010-01-13-Finite-Equivalence
2010-01-13-N-adic-Equivalence
2010-01-13-Dyadic-Equivalence
2010-01-13-Quantifiers
2010-01-13-Dyadic-Truth-Functions
2010-01-13-Including-a-dictionary
2010-01-13-Creating-a-dictionary
2010-01-13-Connectives
2010-01-13-Zero-Dict-English
2010-01-13-CHANGED-SYNTAX-operator-outside-brackets
2010-01-10-Dual-definition-fallacy
2010-01-08-Operation-Syntax-with-abbreviations
2010-01-08-Operation-Syntax
2010-01-07-Zero-Dict
2009-12-04-Properties-of-infinite-n-adic-relationships
2009-12-04-Properties-of-finite-dyadic-relationships
2009-12-04-Properties-of-infinite-dyadic-relationships
2009-12-02-Iteration-Examples
2009-10-26-Iterating-Operands
2009-10-26-Specifying-Operands
2009-10-25-Finite-Equivalence
2009-10-25-N-adic-Equivalence
2009-10-12-Dyadic-Equivalence
2009-10-12-Quantifiers
2009-10-12-Dyadic-Truth-Functions
2009-10-11-Including-a-dictionary
2009-10-11-Creating-a-dictionary
2009-10-11-Connectives
2009-10-11-Zero-Dict