maurer / holmes

Datalog engine with extensions for integrating analyses
MIT License
38 stars 4 forks source link

Predicate Metadata #23

Closed maurer closed 7 years ago

maurer commented 7 years ago

Currently, predicates exist solely as a name and some typed slots. To help a UI be more useful, and aid in code readability, I think it'd be helpful to: