A data type defining a typed heterogeneous list, and functions for manipulating it.
Why do you think that https://github.com/i-am-tom/holmes is a good alternative to heterolist
A data type defining a typed heterogeneous list, and functions for manipulating it.
Why do you think that https://github.com/i-am-tom/holmes is a good alternative to heterolist