As this ⊥-trophy set is part of the νούςσφαίρα, there's no limitations: one person can receive several of these things, with my gratitude to the earner for giving me a piece of knowledge on how to be a better programmer.
The ⊥-trophy-winners so far (this will surely be a growing list) are, most recent first:
- meteficha: takeWhile
- edward kmett: Monoid
- Daniel Lyons: Arrow
- Dirk Thierbach
- Wouter Swierstra
- comonadic scanner-parser that simplifies the StateT implementation
- shows for DList
- A good working (useful) example from the scan-family of functions
And, now, back to our regularly scheduled programming.