diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-08-22 16:32:31 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-08-22 16:32:31 -0400 |
| commit | b57458e2117ab29e1f0754adaa80c081ea8b3fbd (patch) | |
| tree | c1d5400176bcb9fc34ac0272c0c6c916452d8748 /lib/ur/monad.urs | |
| parent | 3a3efad7e3706ecdeabffadbe9a5631c30af2da0 (diff) | |
Fixed bug in reduce bind-commutation
Diffstat (limited to 'lib/ur/monad.urs')
0 files changed, 0 insertions, 0 deletions