#
cxandru
Follow
FP enthusiast. I like working with: Haskell - Emacs - Nix - LaTeX. Learning Agda. I sometimes use Bash, Python and have worked with Java, Scala, Isabelle & Coq.
- Nijmegen, NL
- @cxandru
Starred repositories
6
stars
written in Nix
Clear filter
Pure Nix flake utility functions [maintainer=@zimbatm]
Nix-based incremental build tool for Haskell projects