Systematise relational definitions at all arities#2259

Merged

MatthewDaggitt merged 3 commits intoagda:masterfrom

jamesmckinna:issue2091

Feb 5, 2024

Commits on Jan 17, 2024

fixes #2091
jamesmckinna
committed

Commits on Jan 20, 2024

revised along the lines of @MatthewDaggitt's suggestions
jamesmckinna
committed

Commits on Feb 5, 2024

Merge branch 'master' into issue2091
MatthewDaggitt
authored