paper

Meta-MeTTa: an operational semantics for MeTTa

arXiv:2305.17218

Abstract

We present an operational semantics for the language MeTTa.