FITFLOP
Home

type-theory (1 post)


posts by category not found!

How to create a list of elements of an indexed data type, whose length depends on the index

Dynamic Lists Creating Lists Based on Indexed Data Lets say you need to generate a list where the number of elements in each sublist depends on the index of tha

2 min read 03-10-2024 30
How to create a list of elements of an indexed data type, whose length depends on the index
How to create a list of elements of an indexed data type, whose length depends on the index