search

advancedresearch / avalog

An experimental implementation of Avatar Logic with a Prolog-like syntax
Apache License 2.0
66 stars 3 forks source link

Handle role lift for `RoleOf` #128

Closed bvssvni closed 4 years ago

bvssvni commented 4 years ago