Skip to content

Add interfaces to declare generic level polymorphic n-ary functions - #73

Merged
fblanqui merged 7 commits into
Deducteam:masterfrom
NotBad4U:n-ary-fun
Sep 25, 2026
Merged

fblanqui merged 7 commits into
Deducteam:masterfrom
NotBad4U:n-ary-fun

Merge remote-tracking branch 'dk/master' into n-ary-fun

258eeb0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
build (dev)
succeeded Sep 25, 2026 in 4m 21s