
20 Jun
2013
20 Jun
'13
8:58 a.m.
Okay. It's settled about `alterF`, there however seems a disagreement to have risen on the "key-lambda" and deprecation proposals, so I am starting a vote. Following are stats on the vote we have so far. A "key-lambda" proposal For: 2 Edward Kmett, Gershom Bazerman Against: 1 Johan Tibell Deprecate redundant functions For: 1 Nikita Volkov Against: 3 Schachaf Ben-Kiki, Milan Straka, Johan Tibell, I'm asking those who haven't voted on both proposals to vote again. Correction on old or miscounted votes is also welcome. Concerning the deprecation proposal, comments and suggestions are welcome too.