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
How often can you become a fully stuck developer?
1 Votes
Improve accessibility of this page
0 Votes
What is a simple and easy way to learn ruby? :)
0 Votes
Help
1 Votes
Data analysis
0 Votes
Lesson Takeaways
0 Votes
Course Doubt
1 Votes
If we already have the DELETE command in SQL, why do we need TRUNCATE?
2 Votes
How do i make a lexer and parser
1 Votes
Order of AI courses
0 Votes