Loading...
Interested in type theory, category theory and concurrent collaborative editing.
Coding for 17 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.