Software Engineering researcher working on the Coq proof assistant and its ecosystem. I like programming using nice functional languages with type-inference, such as OCaml or Elm.
Top network posts
- 26 How do I upgrade my system to nixos-unstable?
- 19 How to use MIT license in a project?
- 15 Nix desktop files
- 15 As owner of GPL library, can I break the licensing terms?
- 12 Why does Elm use the '++' operator to concatenate strings?
- 12 How is Coq's parser implemented?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.