Apparently, this user prefers to keep an air of mystery about them.
Member for 3 years, 6 months
0 profile views
Last seen Oct 8 '19 at 6:57
Top network posts
- 27 when to use CPS vs codensity vs reflection without remorse in Haskell
- 27 indexed by a type vs containing a type in idris
- 17 how to reload OCaml modules in utop
- 16 how to add NixOS unstable channel declaratively in configuration.nix
- 14 How is ReactiveMongo implemented so that it is considered non-blocking?
- 14 Why is the undefined function levity-polymorphic when using it with unboxed types?
- 13 Using hoogle in a haskell development environment on nix
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.