James Wood
laMudri
Is it possible/wise/ever done to have a bidirectionally typed programming language in which an arbitrary function (or rather, function name) can be declared to be an eliminator for one of
Read more