Dialectic Programming Language for the Industrial Workstations of the World (the pun, not the semantics): a unityped, homoiconic, reflexive language with no typechecker, where a Judgement Evidence Graph records what is believed about each term and why. Pre-alpha; Chapel bootstrap.
programming-language tree-sitter lisp interpreter dynamic-typing lambda-calculus metaprogramming provenance language-design s-expressions self-hosting pre-alpha chapel homoiconic evidence-graph judgement-evidence-graph reflective-programming unityped bootstrap-interpreter off-side-rule
-
Updated
Oct 15, 2026 - Shell