Apparently, this user prefers to keep an air of mystery about them.
Member for 1 year, 10 months
0 profile views
Last seen Jun 29 at 1:15
Top network posts
- 27 indexed by a type vs containing a type in idris
- 25 when to use CPS vs codensity vs reflection without remorse in Haskell
- 14 How is ReactiveMongo implemented so that it is considered non-blocking?
- 14 how to reload OCaml modules in utop
- 14 Why is the undefined function levity-polymorphic when using it with unboxed types?
- 13 Using hoogle in a haskell development environment on nix
- 11 example diagram of pullbacks and fiber products
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.