diff options
author | Adam Chlipala <adam@chlipala.net> | 2016-01-02 10:43:51 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2016-01-02 10:43:51 -0500 |
commit | aa3e615e84e3e8844fd5537ef84c38d5d18298ab (patch) | |
tree | c74ed84469b2abda5ea7c0763761da83a1d1ebfd /src/tutorial.sig | |
parent | c748c02510ce84b457c2c7d288a67b686642bd0d (diff) |
Finishing the last change in final handling of enumerated types
Diffstat (limited to 'src/tutorial.sig')
0 files changed, 0 insertions, 0 deletions