StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
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