diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-10-17 13:26:11 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-10-17 13:26:11 -0400 |
| commit | 25838bc2eb221b82151c648473b3528e3a4e4e9d (patch) | |
| tree | 92cc696c1a66e0e4a5bf035bdbe704a9d4edb155 /src/elab.sml | |
| parent | d15954cc4756d7ae630f36d5b72f9fbbd864b681 (diff) | |
Simplify type of Monad.appR2
Diffstat (limited to 'src/elab.sml')
0 files changed, 0 insertions, 0 deletions