gfrmin/proplang

The smallest language in which a Bayesian agent writes and reasons about itself — hypotheses are programs, the grammar is the prior, and adaptation is free. A candidate substrate for general intelligence.