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