Insights
Repository Pulse
Activity Overview
Active pull requests7
Active issues12
Merged pull requests23
Closed issues18
Contribution Activity
Chart loads on client side
Idris2 Playground for learning how dependent types work
Chart loads on client side