CSY/reowolf Files · testdata/basic/readme.txt · Centrum Wiskunde & Informatica (CWI)

Files @ c14c92253f09

Branch filter:

c14c92253f09 63 B text/plain Show Annotation Show as Raw Download as Raw

WIP: More refactored inferencing rules

1
2
3

Run as:

./bin-compiler -i ./testdata/basic-modules/testing.pdl