StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

pdxleif

Rating
1500.48 (447,594th) 		Reputation
1,237 (129,132nd)
Page: 1
Title Δ
Search/Lift hole Idris commands for Emacs 0.00
Cabal cannot resolve dependencies for Idris +3.87
Examples of using Idris as a pure Haskell library? 0.00
Can't disambiguate name: Prelude.List.++, Prelude.Strings.++ er... 0.00
fat arrow in Idris +4.09
Proofs about functions that depend on the ordering of their alterna... -0.89
Strange error message with Idris interfaces 0.00
Idris - Can't evaluate function application in type 0.00
Can't create simple binary data structure with IdrisNet2 0.00
Postulates in Idris 0.00
Idris function to construct empty `List a` where `a` is bound to an... +0.18
Most idiomatic way to mix synchronous, asynchronous, and parallel c... +3.03
I can't prove (n - 0) = n with Idris -3.93
redirect to index using staticApp with defaultWebAppSettings 0.00
mapping a Stream with a function returning a Future -2.17
Practical examples of Idris 0.00
Scala: Redis client implementation with Akka futures +0.26
How do I filter certain lines from a log4j stack trace? 0.00
How to integrate memcached in a Servlet? Tomcat & memory leaks 0.00
What actor based web frameworks are available for Scala? 0.00
Scala: Convert org.w3c.dom.Document to scala.xml.NodeSeq -4.02
How to normalize a URL in Java? 0.00
Generating Scala code trees from a Scala compiler plugin 0.00
exslt.org extensions +0.07
Quick easy way to migrate SQLite3 to MySQL? 0.00