I should make a project of learning Idris 2. That could be fun.
0 Boosts
0 Likes
No replies yet
Be the first to share your thoughts.
Install Fedizen
Get the full app experience
1
Tap
Share
2
Add to Home Screen