Apparently, this user prefers to keep an air of mystery about them.
Top network posts
- 19 Is the composition of an arbitrary monad with a traversable always a monad?
- 13 \bbl@main@language error in biblatex
- 9 Characterizing the type of functions that can accept `()` as input (without monomorphizing)
- 9 Semantics for de Bruijn levels
- 8 Does a Powerset-over-Reader monad exist?
- 8 Adjoint functors determine monad transformers, but where's lift?
- 8 Targeting proper parts of nodes in `forest`
- View more network posts →
This user doesn’t have any gold badges yet.