Sesiones de PyR

Who knows Idris and type-driven development?
developmentidristype-driven
7 Votos
2 Respuestas
9th Mar 2019, 6:57 AM
Paolo De Nictolis
Paolo De Nictolis - avatar
En tendencia hoy
What's wrong with this code ? ( Beginner)
4 Votes
Pig Latin
0 Votes
Someone can help me
0 Votes
Square Roots
0 Votes
What's wrong with this?
2 Votes
Currently learning C++, I’m getting into socket programming with C++
0 Votes
I’m new someone can help me
0 Votes
Is there any new bug in the projects reply sections?
1 Votes
What's doctype htMl
2 Votes
HTML community, HELP!!
0 Votes