diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-10 15:30:52 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-10 15:30:52 +0200 |
commit | 13438b29f61268fe93e96c11fed502bcce40427e (patch) | |
tree | 2b3147eb794ae2a293ac9344c2b1b1a59c6ae4bb /examples/Makefile | |
parent | 26b8cc7f672d580dfc7355dac1c4352a3c7c32e8 (diff) |
Normalization of codatatype constants, codatatype now has a fair enumerator.
Diffstat (limited to 'examples/Makefile')
0 files changed, 0 insertions, 0 deletions