OptionVotes
YES
NO
173
58
OptionProbability
Other
Monads
Dependent types
Rank polymorphism
Refinement types
Tactics
Algebraic effects
Uniqueness typing
25
18
11
10
9
8