Loading...
Loading...
I like functional programming and proof assistants :)
Coding for 9 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to main at Reijix/fitch-editor
February 1st, 2026 9:08 PM
Pushed to datastructure-refactor at Reijix/fitch-editor
February 1st, 2026 9:08 PM
Pushed to datastructure-refactor at Reijix/fitch-editor
January 31st, 2026 2:46 PM
Created branch datastructure-refactor in Reijix/fitch-editor
January 30th, 2026 3:41 PM
Pushed to main at Reijix/fitch-editor
January 30th, 2026 9:49 AM
Pushed to main at Reijix/fitch-editor
January 30th, 2026 9:24 AM
Pushed to main at Reijix/fitch-editor
January 30th, 2026 9:16 AM
Pushed to main at Reijix/fitch-editor
January 29th, 2026 11:23 PM
Pushed to main at Reijix/fitch-editor
January 29th, 2026 4:08 PM
Pushed to main at Reijix/fitch-editor
January 29th, 2026 3:49 PM