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

7008
Age (days ago)
7008
Last active (days ago)

List overview

Download

0 comments
1 participants

Add to favorites Remove from favorites

tags

participants (1)

  • Neil Mitchell