[typetools/checker-framework] 55fc30: Documentation about `@InternedDistinct`

0 views

Skip to first unread message

unread,

Jan 9, 2026, 12:29:10 PM (4 days ago) Jan 9

to checker-fr...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 55fc3003405ebe684f25531d932f013a7f86f33b
https://github.com/typetools/checker-framework/commit/55fc3003405ebe684f25531d932f013a7f86f33b
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-01-09 (Fri, 09 Jan 2026)

Changed paths:
M docs/manual/interning-checker.tex

Log Message:
-----------
Documentation about `@InternedDistinct`

To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications

Reply all

Reply to author

Forward

0 new messages