Skip to content

Make the AntiFunction override total on non-injective functions - #135

Merged
lemmy merged 2 commits into
masterfrom
mku-antifunction
Oct 4, 2026
Merged

Make the AntiFunction override total on non-injective functions#135
lemmy merged 2 commits into
masterfrom
mku-antifunction

Document the AntiFunction override with a worked TLA+ example

8df3880
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar