Files
@ ef3eec73f359
Branch filter:
Location: CSY/reowolf/testdata/parser/counterexamples/arity_checking.pdl
ef3eec73f359
207 B
text/plain
WIP on reimplementation of type table supporting polymorphic types