Skip to content

AST node for application of arbitrary terms#436

Open
mrjazzybread wants to merge 2 commits intoocaml-gospel:mainfrom mrjazzybread:apply

Commits

Commits on Dec 28, 2024

Commits on Jan 5, 2025