Loading...
Loading...
Coding for 14 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
IssueCommentEvent on agda/agda-categories
February 5th, 2026 8:55 PM
PullRequestReviewEvent on ndmitchell/extra
February 5th, 2026 12:57 PM
PullRequestReviewCommentEvent on ndmitchell/extra
February 5th, 2026 12:57 PM
opened pull request in ndmitchell/extra
February 5th, 2026 11:02 AM
Created branch foldmapm in Taneb/extra
February 5th, 2026 11:01 AM
Forked ndmitchell/extra
February 5th, 2026 11:01 AM
opened issue in agda/agda-categories
February 5th, 2026 8:03 AM
IssueCommentEvent on agda/agda-stdlib
February 5th, 2026 6:42 AM
PullRequestReviewEvent on agda/agda-stdlib
January 30th, 2026 10:10 AM
PullRequestReviewEvent on agda/agda-stdlib
January 27th, 2026 7:33 AM