diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-26 12:35:26 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-26 12:35:26 -0400 |
| commit | abd57cd85a78e243185e7c6f528b3f21344319ea (patch) | |
| tree | 970326ac48cfa321cae917503d7c5238f2c02bf0 /src/explify.sml | |
| parent | aedc1a079416569be9bf63de2d7c1d9d2262b915 (diff) | |
Folding through a functor
Diffstat (limited to 'src/explify.sml')
0 files changed, 0 insertions, 0 deletions