diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-05-02 17:16:02 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-05-02 17:16:02 -0400 |
commit | 77b4d9b9397aefc41ae0c6465a75874c497d945c (patch) | |
tree | 1249a913f37685611f686a4c5db3475723c93d21 /tests/limit.ur | |
parent | 1580340ec252e4e399c2c1d2b403974f49c3a084 (diff) |
Monadic bind supports patterns
Diffstat (limited to 'tests/limit.ur')
0 files changed, 0 insertions, 0 deletions