diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-07 20:38:01 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-07 20:38:01 -0400 |
commit | bbe4225bd2c99d8f3e279911dd0b52bbd2281646 (patch) | |
tree | 27b25c9e8b68ae517100138ad652c03e538ddb05 /src/core.sml | |
parent | f7c62ce8111cf0f31d65fb62b16e040fbfae0972 (diff) |
Get demo type-inferring again
Diffstat (limited to 'src/core.sml')
0 files changed, 0 insertions, 0 deletions