pdxleif questions

pdxleif answers

• Can't create simple binary data structure with IdrisNet2
• How to normalize a URL in Java?
• How do I filter certain lines from a log4j stack trace?
• Idris function to construct empty `List a` where `a` is bound to an instance of `Ord`?
• Strange error message with Idris interfaces
• How can I poll files, sockets or handles to become readable/writable in Haskell?
• Scala: Redis client implementation with Akka futures
• Postulates in Idris
• I can't prove (n - 0) = n with Idris
• Convert Instant to microseconds from Epoch time