4 Commits (master)

Author	SHA1	Message	Date
markma	f8dfc1ce1f	0.0.1	4 years ago
markma	09fba4a0b5	0.0.1	4 years ago
Dulma Churchill	c9c4adebc2	[AL] Improve the predicate for checking visibility attribute and example rule for checking macro for category implementation ... Reviewed By: skcho Differential Revision: D18744625 fbshipit-source-id: 10b0c77b5	6 years ago
Dulma Churchill	48da570aa0	[AL] Introduce a way of binding the two witnesses of an AND formula ... Summary: New syntax f1 AND-WITH-WITNESSES f2 : predicate_on_both_witnesses() This is needed for a linter to check that a macro is present, see the test. Reviewed By: skcho Differential Revision: D18735988 fbshipit-source-id: a3be75c5e	6 years ago