Meta-MeTTa: an operational semantics for MeTTa (2305.17218v1)

Published 26 May 2023 in cs.LO

Abstract: We present an operational semantics for the language MeTTa.

We haven't generated a summary for this paper yet.

Generate a whiteboard explanation of this paper.

We haven't generated a list of open problems mentioned in this paper yet.

We haven't generated follow-up questions for this paper yet.