diff options
author | 2010-10-17 13:26:11 -0400 | |
---|---|---|
committer | 2010-10-17 13:26:11 -0400 | |
commit | 0e953baf0594e5107df747bb611e34a4d63064b5 (patch) | |
tree | 92cc696c1a66e0e4a5bf035bdbe704a9d4edb155 /src/elaborate.sml | |
parent | dc136c3a267dafb7ba1fb0acbc4a76d5430bc00d (diff) |
Simplify type of Monad.appR2
Diffstat (limited to 'src/elaborate.sml')
0 files changed, 0 insertions, 0 deletions