diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-09 09:48:26 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-09 09:48:26 +0200 |
commit | d78d47eafdad2d76f681463787647cdf5892a2fd (patch) | |
tree | 5fca468d7ec975e44085481e70db88b73706e2c7 /test | |
parent | 289f4081c7497efbf33ffbcef5c5e35b89a9bbed (diff) |
Working towards a fair enumerator for codatatypes.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions