Loading...
Loading...
Coding for 9 years.
141 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Created branch feat/instance-equality-constraint in zeroeightysix/agda2hs
January 30th, 2026 12:18 PM
opened issue in jamjamjon/usls
January 26th, 2026 11:04 AM