3 ms·
The concept of a derivation on types could be interesting... but the notation is a bit much for me. Differential fields are (as I understand it) a hot topic at
by chobytes 4y ago
The concept of a derivation on types could be interesting... but the notation is a bit much for me.
Differential fields are (as I understand it) a hot topic at the moment. Maybe there is some interesting crossovers.