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

6530
Age (days ago)
6530
Last active (days ago)

List overview

Download

0 comments
1 participants

Add to favorites Remove from favorites

tags

participants (1)

  • Neil Mitchell