[ fix #373 ] enable existing-class on postulated type formers#374

Closed

flupe wants to merge 1 commit intoagda:masterfrom flupe:issue373

+33

Commits on Oct 1, 2024

[ fix agda#373 ] enable existing-class on postulated type formers
flupe
committed