e-mniang
Results
2
issues of
e-mniang
[ add ] Pointwise lifting of algebra to Data.Vec.Functional (Functional vector module #1945 redux)
8
This PR updates #1945 by bringing the functional vector and module structures/bundles in line with current stdlib conventions and removing nested submodules. Next, I’ll add the necessary entry to the...
This PR introduces the `↯` type for partial elements along with its associated functions for binding, mapping, and applying. Partial computations — such as non-terminating functions or computations undefined on...