diff options
| author | Christopher Pulte | 2017-08-31 17:25:30 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2017-08-31 17:25:30 +0100 |
| commit | f83c3d00f60a2507dfa5c3f31de6ddfc08eee610 (patch) | |
| tree | e3a2f1a326a554ce4300e4a7f853abd2079f904d /language/l2_typ.ott | |
| parent | 07fad742df72ff6e7bfb948c1c353a2cf12f5e28 (diff) | |
add EnumerationType type class: if a type is a member you get Ord membership and Set membership for free
Diffstat (limited to 'language/l2_typ.ott')
0 files changed, 0 insertions, 0 deletions