Loading...
PLT + compilers; haskell champion; agda newbie.
Avg 21.3 stars per repo.
Coding for 15 years.
Hello, I no longer use github for personal projects! Check my codeberg account instead.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.