Using Idris to develop Android apps

3 points| tennix | 9 years ago |mmhelloworld.github.io