+ 7

Who knows Idris and type-driven development?

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

9th Mar 2019, 6:57 AM
Paolo De Nictolis
Paolo De Nictolis - avatar
2 Answers
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