Skip to content

Add TYPES constant and .entailed_term factory to TermNote#2

Merged
ronaldtse merged 2 commits into
mainfrom
feat/entailed-term-and-constants
May 6, 2026
Merged

Add TYPES constant and .entailed_term factory to TermNote#2
ronaldtse merged 2 commits into
mainfrom
feat/entailed-term-and-constants