Patrick Lühne ca5cca8701 Default to 0-ary predicates when omitting arity		2020-02-05 19:42:53 +01:00
src	Default to 0-ary predicates when omitting arity	2020-02-05 19:42:53 +01:00
.gitignore	Work in progress	2020-01-24 13:32:43 +01:00
Cargo.toml	Use upstream foliage crate	2020-02-05 03:36:24 +01:00