Repository navigation

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

Add interfaces to declare generic level polymorphic n-ary functions#73
fblanqui merged 7 commits into
Deducteam:masterfrom
NotBad4U:n-ary-fun

Commits on Sep 16, 2026
- Add interfaces to declare generic level polymorphic n-ary functions
  NotBad4U
  committed
  1f5889f
Commits on Sep 17, 2026
- Fix comments of PR #73
  NotBad4U
  committed
  53e60fa
Commits on Sep 18, 2026
- Add injective on type Arrow, set_idents, sets, ArrowI; remove @; make arity of the function implicit
  NotBad4U
  committed
  a1c9903
Commits on Sep 23, 2026
- remove unsound unification rules + rename some symbols
  fblanqui
  committed
  1d0647a
Commits on Sep 25, 2026
- details
  fblanqui
  committed
  4bdc805
- update CHANGES [no ci]
  fblanqui
  committed
  3b5bd11
- Merge remote-tracking branch 'dk/master' into n-ary-fun
  fblanqui
  committed
  258eeb0