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 | 5e954e635e58d3a7b34d6dc60d7c4aabd1c752f4 (patch) | |
| tree | 942f83c942b7d41f09fd7b7056f662036975cd75 /demo/metaform.urs | |
| parent | 74185b59e03d86fccafab554c04aa7171b1e22fd (diff) | |
Use cdata for shorter Monad map
Diffstat (limited to 'demo/metaform.urs')
0 files changed, 0 insertions, 0 deletions