Skip to content

Move eval terms back onto Eval as methods#316

Merged
sroelants merged 1 commit intomainfrom eval/terms-as-methodsSep 4, 2024

Commits

Commits on Sep 1, 2024