About Me
// Hello, World !
Top Answers
-
Why does max(*list) and max(list) do the same thing in python?
8 votes
-
How to use the Agda standard library's typeclass instances, e.g. Maybe's Applicative?
4 votes
-
Solution to T(n) = 2T(n/2) + log n
3 votes
-
Pull type-level value out of dependent type/using type-level bindings at value-level
1 votes
Top Questions
-
How to call a method that consumes self on a boxed trait object?
13 votes3 answers
-
Learning recursion schemes in Haskell by TicTacToe
3 votes1 answers
-
An Rc equivalent that supports pointing to a component of the owned data
2 votes0 answers