Skip to content

Represent RFC 2119 strength as facts and derive verdicts in Datalog - #49

Open
afogel wants to merge 2 commits into
ir/datalog-idiomsfrom
ir/keywords
Open

Represent RFC 2119 strength as facts and derive verdicts in Datalog#49
afogel wants to merge 2 commits into
ir/datalog-idiomsfrom
ir/keywords

Point the keyword revision notes at PR #49

d40cf40
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar