Reflecting partial elements defined by extended lambdas - Githubissues

agda / agda

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

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

Other

2.4k stars 339 forks source link

Reflecting partial elements defined by extended lambdas #7257

Open marcinjangrzybowski opened 1 month ago

marcinjangrzybowski commented 1 month ago

WIP

works for the simplies examples
scope of Terms keept in EqualP is somwhat broken now, and it is failing for more comlicated terms