Open bitonic opened 10 years ago
This includes but is not limited to #3.
We also need to eta-expand arguments of meta-variables and elements of the context lazily. This is a WIP in the lazy-expansion branch.
Also, it would be nice to eta-expand meta-variables themselves lazily too.
The only thing left for this is to handle eta-expansion and currying of metas lazily in prune.
prune
This includes but is not limited to #3.
We also need to eta-expand arguments of meta-variables and elements of the context lazily. This is a WIP in the lazy-expansion branch.