Closed pedagand closed 2 years ago
We can go beyond list-like containers now. This slight generalization supports any kind of sum-of-product, first-order datatype. This could be further extended to support Pi-types and Sigma-types, à la Desc described in
https://www.irif.fr/~dagand/stuffs/thesis-2011-phd/thesis.pdf
We can go beyond list-like containers now. This slight generalization supports any kind of sum-of-product, first-order datatype. This could be further extended to support Pi-types and Sigma-types, à la Desc described in
https://www.irif.fr/~dagand/stuffs/thesis-2011-phd/thesis.pdf