Loading...
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕
Coding for 15 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.