diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-07-23 09:03:41 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-07-23 09:03:41 -0400 |
| commit | 8a2b82151a52f3c2e99d60b76026b22b088b9e56 (patch) | |
| tree | 4e519e4d4a0bd9a3e0c823866ff23c65992e4d03 /demo/ref.urp | |
| parent | 0cb456bbab73abfd9c08af101d1dfe71cf2d41d4 (diff) | |
Disallow suspending operations in <active code={...}>
Diffstat (limited to 'demo/ref.urp')
0 files changed, 0 insertions, 0 deletions