Seasoned Advice
SEC's user avatar
SEC's user avatar
SEC's user avatar
SEC
  • Member for 7 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
19
Is the composition of an arbitrary monad with a traversable always a monad?
13
\bbl@main@language error in biblatex
10
Semantics for de Bruijn levels
9
Characterizing the type of functions that can accept `()` as input (without monomorphizing)
8
Does a Powerset-over-Reader monad exist?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.