newer
patch applied (hat): Replaced...

patch applied (yhc): Change the simplifier, when doing pushing let's down inside a case it was making the binding unique, but not modifying them in the expression. Now it just goes excessive and obviously correct

Show replies by date

7002
Age (days ago)
7002
Last active (days ago)

List overview

Download

0 comments
1 participants

Add to favorites Remove from favorites

tags

participants (1)

  • Neil Mitchell