Lambda Fairy

Lambda Fairy has asked 21 questions and find answers to 38 problems.

Stats

About

I like ducks. Here are some ducks. If you like ducks, please visit my website.

Lambda Fairy questions

How can I case fold a string in Rust?
newtype around ST causes type error
optparse-applicative: Require at least one argument
What's the difference between Const and Constant?
What is the purpose of the IdentityT transformer?
Why is `.Select(...).Last()` optimized, but `.Select(...).Last(...)` not?
How do I delete a remote bookmark in Mercurial?
"Illegal instance declaration" when declaring instance of IsString

Lambda Fairy answers

How to prove a = b → a + 1 = b + 1 in lean?
haddock "could not find link destinations for"
Python and the Singleton Pattern [duplicate]
In python, is there a "pass" equivalent for a variable assignment
How to measure a functions stack usage in Rust?
What are the pros and cons of impl TryFrom<Bar> for Foo vs impl From<Bar> for Result<Foo, ()> for fallible conversions?
Haskell slow to compute Ackermann 4 1?
Haskell type-mapping (-> operator) in where clause?
Dynamic stdout in Haskell
How do I sort a list with "Nones last"