Who knows Idris and type-driven development? | Sololearn: Learn to code for FREE!
New course! Every coder should learn Generative AI!
Try a free lesson
+ 7

Who knows Idris and type-driven development?

I'd be happy and hear your opinion about...

developmentidristype-driven
9th Mar 2019, 6:57 AM
Paolo De Nictolis
Paolo De Nictolis - avatar
2 Answers
+ 3
https://www.idris-lang.org/
10th Mar 2019, 4:37 PM
Paolo De Nictolis
Paolo De Nictolis - avatar
+ 1
idris? Like from the shadowhunter books? (I am SOOO sorry if this is off topic)
10th Mar 2019, 2:03 PM
LokiHugsYou🐍🐍🐍(Pls Don't DM)
LokiHugsYou🐍🐍🐍(Pls Don't DM) - avatar

Often have questions like this?

Learn more efficiently, for free:

See all courses
Hot today
Isogram Detector
2 Votes
Need suggestions what improvements can I do in it
3 Votes
pls how do I write comments in code
0 Votes
What is the generally preferred way of assigning values in Python?
1 Votes
Hello
0 Votes
How to add shadow on text
0 Votes
Kotlin programing
0 Votes
[SOLVED] About split() Function
1 Votes
Please help me understanding the output. I posted output with code in the file attached.
0 Votes
Which coding language?
2 Votes