Sign in
idris101.
Learning project by a group of people interested in learning the Idris language
github.com/ToJans/idris101
by
@ToJans
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
