798eed741a
This library defines a syntax extension allowing you to automatically produce a list of all values of a type (for a type which only has finitely many values).
3 lines
159 B
Text
3 lines
159 B
Text
This library defines a syntax extension allowing you to automatically
|
|
produce a list of all values of a type (for a type which only has
|
|
finitely many values).
|