diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2018-10-19 16:48:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2018-10-19 16:48:45 -0400 |
| commit | ed803fdc31115945a105626faab6bd302785f0e7 (patch) | |
| tree | 5f716c702b8700037a24c0970ecd18d6764a0274 /src/tag.sml | |
| parent | abd0bdd9518b8ed9e9b0ad0a0c1059760b0ec5ce (diff) | |
Block scary types for [de]serialization (closes #98)
Diffstat (limited to 'src/tag.sml')
0 files changed, 0 insertions, 0 deletions