Q&A Discussions

Who knows Idris and type-driven development?
developmentidristype-driven
7 Votes
2 Answers
9th Mar 2019, 6:57 AM
Paolo De Nictolis
Paolo De Nictolis - avatar
Hot today
Activities on sololearn
1 Votes
What is problem in this code
0 Votes
playground input
0 Votes
This Program Does Something Weird. Can You Explain Why?
1 Votes
Software developer
0 Votes
Html issue
1 Votes
How I can use div
0 Votes
Asking for final year project ideas!
1 Votes
TIPS From Veterans
1 Votes
Playground input
0 Votes