Q&A Discussions

Who knows Idris and type-driven development?

development idris type-driven

7 Votes

9th Mar 2019, 6:57 AM

Paolo De Nictolis

Hot today

Can I import any module in python in this app?

1 Votes

Loops and conditions

2 Votes

Algorithm to create maze-like grid

2 Votes

photo upload issue in html code

0 Votes

app for lessons

1 Votes

Any coding competitions?

1 Votes

I can't figure out how to use the getElementById code in JavaScript Code Playground, I've tried multiple times and watched YT

0 Votes

1 Votes

Need a personal tutor

0 Votes

Community and feed option

0 Votes