Files
@ fdaf709bf0ca
Branch filter:
Location: CSY/reowolf/testdata/parser/counterexamples/arity_checking.pdl
fdaf709bf0ca
207 B
text/plain
reimplemented type table to somewhat support polymorphism