Home » forums » LtU Forum

q-Derivatives of datatypes

q-Derivatives of datatypes are partially applied functorial maps.

By mikestay at 2014-08-05 07:58 | LtU Forum | previous forum topic | next forum topic | other blogs | 3303 reads