StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Can I prove (s : Stream a) -> (head s :: tail s = s) in Idris?

Author	Votes	Δ
Anton Trunov	2	0.00

Last visited: Apr 4, 2018, 8:35:39 AM