diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-07-16 04:06:11 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-07-16 04:06:11 -0400 |
| commit | 63acfc44762cbbf3d8d957127a3c5eed3a399940 (patch) | |
| tree | 53f458dfb11d651e541d450d90383b9aa693c7b0 /src/mono_reduce.sml | |
| parent | 0e31dda702cffe9c52a45b0443da549bc8ad00e6 (diff) | |
Default 'jsFunc' for less-safe FFI
Diffstat (limited to 'src/mono_reduce.sml')
0 files changed, 0 insertions, 0 deletions