arend.yaml (
7
lines of code) (
raw
):
langVersion: 1.10 version: 1.10 sourcesDir: src testsDir: test binariesDir: bin extensionsDir: ext extensionMainClass: org.arend.lib.StdExtension