SpiceQA
Questions
Tags
Users
Badges
user_593934
@user_593934
0
reputation
0
answers
1
questions
About Me
// Hello, World !
Top Answers
What are Haskell's monad transformers in categorical terms?
0 votes
Top Questions
How to prove that the Church encoding, forall r. (F r -> r) -> r, gives an initial algebra of the functor F?
2 votes
0 answers
