Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems.

arXiv:2310.01961v3 Announce Type: replace-cross Abstract: We present Soda (Symbolic Objective Descriptive Analysis), a language that helps to treat qualities and quantities in a natural way and greatly simplifies the task of checking correctness. We present ke