A wrapper to make length-parametrized data-type from endofunctors from subcategories.
konn/sized
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A wrapper to make length-parametrized data-type from endofunctors from subcategories.