Heartbreaker - Githubissues

aya-prover / aya-prover-proto

┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛

GNU General Public License v3.0

11 stars 0 forks source link

Heartbreaker #752

Closed ice1000 closed 2 years ago

ice1000 commented 2 years ago

Fix:

ConCall substitution
Telescope in pattern matching substitution (fixes #743)