matryoshka.data
This is for inductive (finite) recursive structures, models the concept of “data”, aka, the “least fixed point”.
This is for inductive (finite) recursive structures, models the concept of “data”, aka, the “least fixed point”.