[ fix #212 ] Be more flexible with unboxed records#213

Merged

omelkonian merged 1 commit intoagda:masterfrom flupe:issue212

Nov 6, 2023

+16-4

Commits on Nov 6, 2023

[ fix agda#212 ] Be more flexible with unboxed records
flupe
committed