#7182: copied records should refer to the copied constructor and fields - Githubissues

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

https://wiki.portal.chalmers.se/agda/pmwiki.php

Other

2.41k stars 339 forks source link

#7182: copied records should refer to the copied constructor and fields #7274

Closed UlfNorell closed 1 month ago

UlfNorell commented 1 month ago

fixes #7182