StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Ways to (refine? is it?) type variables to concrete types in Idris? For a dependently typed HOAS Zip
| Author | Votes | Δ |
|---|---|---|
| gallais | 0 | 0.00 |
Last visited: May 6, 2018, 7:35:51 PM