Skip to content

Code for parsing derived predicates - #28

Merged
rpgoldman merged 3 commits into
masterfrom
27-handle-derived-predicates
Jun 19, 2026
Merged

Code for parsing derived predicates#28
rpgoldman merged 3 commits into
masterfrom
27-handle-derived-predicates

Add derived predicates to make-domain function

832e7d1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar