diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-08 11:02:53 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-08 11:02:53 -0400 |
| commit | 50bbd6df3de3f637fe8bb680ad707a133e976c6e (patch) | |
| tree | 942f83c942b7d41f09fd7b7056f662036975cd75 /src/mono_util.sig | |
| parent | 33dbb6c0000a5d82267f984191e7390be86b7dfd (diff) | |
Use cdata for shorter Monad map
Diffstat (limited to 'src/mono_util.sig')
0 files changed, 0 insertions, 0 deletions