Apparently, this user prefers to keep an air of mystery about them.
Member for 2 years, 7 months
0 profile views
Last seen Jun 29 '19 at 1:15
Top network posts
- 27 indexed by a type vs containing a type in idris
- 26 when to use CPS vs codensity vs reflection without remorse in Haskell
- 16 how to reload OCaml modules in utop
- 14 How is ReactiveMongo implemented so that it is considered non-blocking?
- 14 how to add NixOS unstable channel declaratively in configuration.nix
- 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.
Jun 29 '19