StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
What is the name of the programming style enabled by dependent types (think Coq or Agda)?
| Author | Votes | Δ |
|---|---|---|
| ErikMD | 0 | -0.04 |
| Pedro Abreu | 0 | +0.19 |
| Hexirp | 0 | +0.12 |
Last visited: Nov 27, 2022, 9:27:33 PM