diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-02-08 16:54:01 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-02-08 16:54:01 -0500 |
| commit | 7db27b06d50316f07bb38ddc5999d086be911ed2 (patch) | |
| tree | 2f0fd30447bf7a6e3fb40aead813c7feeed11833 /src/mono_reduce.sml | |
| parent | 58c927541d3960c0bca5636c05e499246d3cecef (diff) | |
Notice that Basis.now is effectful; smarter JavaScript encoding of initial source values built using server-side expressions that can't be turned into JavaScript
Diffstat (limited to 'src/mono_reduce.sml')
0 files changed, 0 insertions, 0 deletions